More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Evolving Algebras Project 1993: Lipari, Italy

> Home > Conferences and Workshops > Evolving Algebras Project

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/1993eap
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/1993eap
Egon Börger:
Specification and validation methods. Oxford University Press 1995, ISBN 0-19-853854-5
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Gurevich93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Gurevich93
Yuri Gurevich:
Evolving algebras 1993: Lipari guide. Specification and validation methods 1993: 9-36
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Borger93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Borger93
Egon Börger:
Annotated bibliography on evolving algebras. Specification and validation methods 1993: 37-51
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Apt93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Apt93
Krzysztof R. Apt:
Program verification and Prolog. Specification and validation methods 1993: 55-95
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/BorgerS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BorgerS93
Egon Börger, Rosario F. Salamone:
CLAM specification for provably correct compilation of CLP( R ) programs. Specification and validation methods 1993: 96-130
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Wallace93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Wallace93
Charles Wallace:
The semantics of the C++ programming language. Specification and validation methods 1993: 131-164
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/MannaP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/MannaP93
Zohar Manna, Amir Pnueli:
Verification of parameterized programs. Specification and validation methods 1993: 167-230
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/RosenzweigBG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/RosenzweigBG93
Dean Rosenzweig, Egon Börger, Yuri Gurevich:
The bakery algorithm: yet another specification and verification. Specification and validation methods 1993: 231-243
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Huggins93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Huggins93
James K. Huggins:
Kermit: specification and verification. Specification and validation methods 1993: 247-293
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/GurevichM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GurevichM93
Yuri Gurevich, Raghu Mani:
Group membership protocol: specification and verification. Specification and validation methods 1993: 295-328
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/DammJS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/DammJS93
Werner Damm, Bernhard Josko, Rainer Schlör:
Specification and verification of VHDL-based system-level hardware designs. Specification and validation methods 1993: 331-409
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/asm/Russinoff93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Russinoff93
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.