default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. IWFM 1998: Cork, Ireland
- Sharon Flynn, Andrew Butterfield:
2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998. Workshops in Computing, BCS 1998 - Brian Matthews, Elvira Locuratolo:
Translating Structured Database Schemas into Abstract Machines. - Raphaël Couturier:
Formal Engineering of the Bitonic Sort using PVS. - Terence J. Harmer, Patrick J. McParland, James M. Boyle:
Applications of the TAMPR Transformation System. - Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick:
A Case Study on Proving Transformations Correct: Data-Parallel Conversion. - Hugh Gibbons:
Declarative View of Imperative Programs. - Luming Lai:
An Unbounded Nondeterministic Model for CSP-like Languages. - Mark Changizi:
Motivation for a New Semantics for Vagueness. - J. Paul Gibson, Dominique Méry:
Teaching Formal Methods: Lessons to Learn. - Mícheál Mac an Airchinnigh:
Mathematics for Formal Methods, a Proposal for Education Reform. - Arthur P. Hughes:
Towards an Override in Topoi. - Claus Pahl:
Facilitating Modular Property-Preserving Extensions of Programming Languages. - Anthony Karel Seda, Pascal Hitzler:
Strictly Level-Decreasing Logic Programs. - Richard Shore:
A Use Case Interpretation of B AMN.
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-11-25 00:27 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:
