Search results for: M Bozga
IEEE Software > 2011 > 28 > 3 > 41 - 48
Formal Methods in Computer Aided Design > 257 - 256
IET Software > 2010 > 4 > 3 > 181 - 193
Fundamenta Informaticae > 2009 > Vol. 91, nr 2 > 275-303
IEEE Software > 2011 > 28 > 3 > 41 - 48
Formal Methods in Computer Aided Design > 257 - 256
IET Software > 2010 > 4 > 3 > 181 - 193
Fundamenta Informaticae > 2009 > Vol. 91, nr 2 > 275-303