International Conference on Formal Methods in Computer-Aided Design,, 1,
Formal methods in computer-aided design : proceedings / First International Conference ; ed. Mandayam Srivas, Albert Camilleri
Formal methods in computer-aided design : proceedings / First International Conference ; ed. Mandayam Srivas, Albert Camilleri
. - Berlin : Springer, cop. 1996
. - IX, 470 p. 24 cm
. - (Lecture notes in computer science; 1166))
3-540-61937-2 (Brochado)
519.674
681.3