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.