Record:   Prev Next
作者 CAV (Conference) (3rd : 1991 : Alborg, Denmark)
書名 Computer aided verification [electronic resource] : 3rd International workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou, eds
出版項 Berlin : Springer-Verlag, 1992
國際標準書號 9783540551799 (paper)
book jacket
Record:   Prev Next