Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Chalin, Patrice - Department of Computer Science and Software Engineering, Concordia University
Formal Aspects of Computing
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TSE-2010-PREPRINT 1 Engineering A Sound Assertion Semantics for
J Autom Reasoning manuscript No. (will be inserted by the editor)
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
Mirador: a Synthesis of Model Matching Strategies Stephen C. Barrett
Reducing the Use of Nullable Types through Non-null by Default and Monotonic Non-null
2005-2006 Patrice Chalin Are Practitioners Writing Contracts?
