Formal Methods in Computer-Aided Design: Proc./First Intern. Conf., FMCAD 96. Palo Alto, CA, USA, November 1996

А3.12, А3.22, В3.14, В4.3.

Formal Methods in Computer-Aided Design: Proc./First Intern. Conf., FMCAD 96. Palo Alto, CA, USA, November 1996Ed. by Srivas M., Camilleri A..-Berlin, Heidelberg.: Springer, 1996.-Vol. 1166.-470 p.-(Lecture Notes in Computer Science).