Pubblicazioni scientifiche selezionate
]
.
2005. Precise Widening Operators for Convex Polyhedra. Science of Computer Programming. 58(1-2):28–56. Abstract
Scarica: BagnaraHRZ05SCP.pdf (273.43 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