Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
A Unified Framework for Automated UML Model Analysis
A. Baruzzo
,
“
A Unified Framework for Automated UML Model Analysis
”
, Dipartimento di matematica e Informatica, 2008.
Google Scholar
BibTex
Google Scholar
BibTex
