Selected Scientific Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is V  [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.