6 results on '"Comini, Marco"'
Search Results
2. Automatic synthesis of specifications for first order curry programs
3. A Methodology for UML Models V&V
4. A Minimalist Visual Notation for Design Patterns and Antipatterns
5. A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting
6. Automatic Inference of Term Equivalence in Term Rewriting Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.