Browse the conference papers here

Proof and Refutation in Formal Software Development
J.C. Bicarregui & B.M. Matthews

Predicate Transformers for Infinite-State Automata in NuPRL Type Theory
M. Bickford & J. Hickey

Stochastic Specification and Verification
J. Bryans & J. Derrick

On the Integration of Formal Methods: Events and Scenarios in PVS and VDM
G. Droschl

A Scheme for Defining Partial Higher-Order Functions by Recursion
W. M. Farmer

Four Logics and a Protocol
D. Gray, G. Hamilton, D. Sinclair, P.Gibson & J. Power

Checking Formal Specifications by Testing
D. Hamlet

Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases
P. Hitzler & A.K. Seda

The Role of Proof in a Formal Specification of the Speedway Rulebook
H. Lowe & J. Lowe

Some Optimisation Problems Revisited
H.B. McLoughlin & K. Hely

Tests Derivation from Model Based Formal Specifications
C. Meudec

Teaching and Learning Formal Methods, Improving Productivity
J.F. Miller

Modular Composition of Language Features Through Extensions of Semantic Language Models
C. Pahl

A Logic to Specify and Verify Synchronous Transitions
V.M. Rodrigues & F.R. Wagner

Valuations Revisited
M.P. Schellekens

Formal Specifications of Software Design Methods
J.A. Serrano