default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. IWFM 1999: Galway, Ireland
- 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. - Georg Droschl:
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. - Christophe Meudec:
Tests Derivation from Model Based Formal Specifications. - J. F. Miller:
Teaching and Learning Formal Methods, Improving Productivity. - Claus Pahl:
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:
Valuations revisited. - J. Artur Serrano:
Formal Specifications of Software Design Methods.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
