Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Völker, Norbert - Department of Computer Science, University of Essex
UITP 2003 Preliminary Version Thoughts on Requirements and Design Issues
Varieties of total correctness refinement models for partial
INTERPROM A COLLABORATIVE FRAMEWORK DRIVEN BY BUSINESS NEEDS
Department of Computer Science University of Essex, England
InterPROM A Collaborative Framework
HOL2P -A System of Classical Higher Order Logic with Second Order Polymorphism
Implementation Conclusions
Program development in Z Martin Henson
Department of Computer Science University of Essex, England
Towards a HOL Framework for the Deductive Analysis of Hybrid Control Systems
Disjoint Sums over Type Classes in HOL Norbert Volker
Disjoint Sums over Type Classes in HOL Norbert Volker
pp: 1-13 (col.fig.: nil) PROD. TYPE: COM ED: Ramesh
