Selected Scientific Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Hendrik Tews  [Clear All Filters]
2007
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.