Pubblicazioni scientifiche selezionate

Export 1 results:
Ordina per: Autore [ Titolo (Asc)] Tipo Anno
A B C D E F G H I J K L M N O P Q R S T U [V] W X Y Z   [Show ALL]
V
Bagnara R, Hill PM, Pescetti A, Zaffanella E.  2007.  Verification of C Programs Via Natural Semantics and Abstract Interpretation. Proceedings of the C/C++ Verification Workshop. :75–80.