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