search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

IWFM

Keyphrases

Publications

2003

2001

2000

1999

Jeremy W. Bryans, John Derrick
Stochastic Specification and Verification. IWFM (1999)
Christophe Meudec
Tests Derivation from Model Based Formal Specifications. IWFM (1999)
Henry McLoughlin, Kevin Hely
Some optimisation problems revisited. IWFM (1999)
Pascal Hitzler, Anthony Karel Seda
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. IWFM (1999)
Claus Pahl
Modular Composition of Language Features through Extensions of Semantic Language Models. IWFM (1999)
Georg Droschl
On the Integration of Formal Methods: Events and Scenarios in PVS and VDM. IWFM (1999)
Helen Lowe, John Lowe
The Role of Proof in a Formal Specification of the Speedway Rulebook. IWFM (1999)
William M. Farmer
A Scheme for Defining Partial Higher-Order Functions by Recursion. IWFM (1999)
David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power
Four Logics and a Protocol. IWFM (1999)
Mark Bickford, Jason Hickey
Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. IWFM (1999)
J. F. Miller
Teaching and Learning Formal Methods, Improving Productivity. IWFM (1999)
Vanderlei Moraes Rodrigues, Flávio Rech Wagner
A Logic to Specify and Verify Synchronous Transitions. IWFM (1999)
Michel P. Schellekens
Valuations revisited. IWFM (1999)
Juan Bicarregui, Brian Matthews
Proof and Refutation in Formal Software Development. IWFM (1999)
3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999 IWFM (1999)
J. Artur Serrano
Formal Specifications of Software Design Methods. IWFM (1999)

1998