Tools and algorithms for the construction and analysis of systems first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
Další autoři: | |
---|---|
Médium: | Kniha |
Jazyk: | English |
Vydáno: |
Berlin
Springer
c1995.
|
Edice: | Lecture notes in computer science
1019 |
Témata: |