Abstract is missing.
- Proof and Refutation in Formal Software DevelopmentJuan Bicarregui, Brian Matthews.
- On the Integration of Formal Methods: Events and Scenarios in PVS and VDMGeorg Droschl.
- Formal Specifications of Software Design MethodsJ. Artur Serrano.
- Multivalued Mappings, Fixed-Point Theorems and Disjunctive DatabasesPascal Hitzler, Anthony Karel Seda.
- Valuations revisitedMichel P. Schellekens.
- Four Logics and a ProtocolDavid Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power.
- Modular Composition of Language Features through Extensions of Semantic Language ModelsClaus Pahl.
- Tests Derivation from Model Based Formal SpecificationsChristophe Meudec.
- A Logic to Specify and Verify Synchronous TransitionsVanderlei Moraes Rodrigues, Flávio Rech Wagner.
- The Role of Proof in a Formal Specification of the Speedway RulebookHelen Lowe, John Lowe.
- A Scheme for Defining Partial Higher-Order Functions by RecursionWilliam M. Farmer.
- Teaching and Learning Formal Methods, Improving ProductivityJ. F. Miller.
- Stochastic Specification and VerificationJeremy Bryans, John Derrick.
- Predicate Transformers for Infinite-State Automata in NuPRL Type TheoryMark Bickford, Jason Hickey.
- Some optimisation problems revisitedHenry McLoughlin, Kevin Hely.