default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEvolving Algebras Project 1993: Lipari, Italy
- Egon Börger:
Specification and validation methods. Oxford University Press 1995, ISBN 0-19-853854-5 - Yuri Gurevich:
Evolving algebras 1993: Lipari guide. Specification and validation methods 1993: 9-36 - Egon Börger:
Annotated bibliography on evolving algebras. Specification and validation methods 1993: 37-51 - Krzysztof R. Apt:
Program verification and Prolog. Specification and validation methods 1993: 55-95 - Egon Börger, Rosario F. Salamone:
CLAM specification for provably correct compilation of CLP( R ) programs. Specification and validation methods 1993: 96-130 - Charles Wallace:
The semantics of the C++ programming language. Specification and validation methods 1993: 131-164 - Zohar Manna, Amir Pnueli:
Verification of parameterized programs. Specification and validation methods 1993: 167-230 - Dean Rosenzweig, Egon Börger, Yuri Gurevich:
The bakery algorithm: yet another specification and verification. Specification and validation methods 1993: 231-243 - James K. Huggins:
Kermit: specification and verification. Specification and validation methods 1993: 247-293 - Yuri Gurevich, Raghu Mani:
Group membership protocol: specification and verification. Specification and validation methods 1993: 295-328 - Werner Damm, Bernhard Josko, Rainer Schlör:
Specification and verification of VHDL-based system-level hardware designs. Specification and validation methods 1993: 331-409 - David M. Russinoff:
Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. Specification and validation methods 1993: 411-460
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-12-13 20:20 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:
