Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Wassyng, Alan - Department of Computing and Software, McMaster University
Lessons Learned from a Successful Implementation of Formal Methods in an
International Journal on Software Tools for Technology (2005) DOI 10.1007/s10009-005-0209-6
Fundamenta Informaticae 68 (2005) 128 1 Tabular Expressions and Their Relational Semantics
