Selected Scientific Publications

Export 3 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is G  [Clear All Filters]
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 
G
Bagnara R, Rodríguez-Carbonell E, Zaffanella E.  2005.  Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. Static Analysis: Proceedings of the 12th International Symposium. 3672:19–34.PDF icon BagnaraR-CZ05.pdf (184.1 KB)
Hill PM, Lloyd JW.  1994.  The Gödel Programming Language.
Bagnara R, Dobson K, Hill PM, Mundell M, Zaffanella E.  2007.  Grids: A Domain for Analyzing the Distribution of Numerical Values. Logic-based Program Synthesis and Transformation, 16th International Symposium. 4407:219–235.PDF icon BagnaraDHMZ07.pdf (222.94 KB)