- Andrew Butterfield, Klemens Haegele:
3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999. Workshops in Computing, BCS 1999
- Juan Bicarregui, Brian Matthews:
Proof and Refutation in Formal Software Development.
- Mark Bickford, Jason Hickey:
Predicate Transformers for Infinite-State Automata in NuPRL Type Theory.
- Jeremy W. Bryans, John Derrick:
Stochastic Specification and Verification.
- Georg Droschl:
On the Integration of Formal Methods: Events and Scenarios in PVS and VDM.
- William M. Farmer:
A Scheme for Defining Partial Higher-Order Functions by Recursion.
- David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power:
Four Logics and a Protocol.
- Pascal Hitzler, Anthony Karel Seda:
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases.
- Helen Lowe, John Lowe:
The Role of Proof in a Formal Specification of the Speedway Rulebook.
- Henry McLoughlin, Kevin Hely:
Some optimisation problems revisited.
- Christophe Meudec:
Tests Derivation from Model Based Formal Specifications.
- J. F. Miller:
Teaching and Learning Formal Methods, Improving Productivity.
- Claus Pahl:
Modular Composition of Language Features through Extensions of Semantic Language Models.
- Vanderlei Moraes Rodrigues, Flávio Rech Wagner:
A Logic to Specify and Verify Synchronous Transitions.
- Michel P. Schellekens:
- J. Artur Serrano:
Formal Specifications of Software Design Methods.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.