1036665-9  

Abstracts / Workshop on Formal Verification

VERkshop 

New York, NY : Assoc. for Computing Machinery

1.1980

Forts.:  VERkshop: Contributions from VERkshop 

Einzelne Bd. zugl. Bd. von 1=5,3 von "Software engineering notes"

OCLC-Nr.: 1071563804

DDC-Sachgruppen der ZDB: 004 Informatik 

Zeitschrift

Kongressbericht

Vereinigte Staaten, USA, United States 

Druckausgabe

015689131

13-04-23