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.
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.
Tests Derivation from Model Based Formal Specifications.
J. F. Miller:
Teaching and Learning Formal Methods, Improving Productivity.
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.