Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: CAV (Conference) (5th : 1993 : Elounda, Greece)
Άλλοι συγγραφείς: Courcoubetis, Costas
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer-Verlag c1993.
Σειρά:Lecture notes in computer science 697
Θέματα:
Computer software > Verification > Congresses.