Selected Scientific Publications

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is software verification and Author is Andrea Pescetti  [Clear All Filters]
Conference Paper
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.