Pubblicazioni scientifiche selezionate
]
.
2005. Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. Static Analysis: Proceedings of the 12th International Symposium. 3672:19–34. Abstract
Scarica: BagnaraR-CZ05.pdf (184.1 KB)
Lingue
Ultime notizie
-
2013/04/04Relazione invitata alla Int'l Conf. on Quality Software
-
2013/01/13BUGSENG in varie conferenze internazionali
-
2012/12/14Nuovo articolo accettato per ICST 2013
-
2012/06/28È stata rilasciata la versione 1.0 della PPL
-
2012/06/01BUGSENG selected ACE's SuperTest