![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Evolving 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.