Mandayam Srivas, Albert Camilleri

Formal Methods in Computer-Aided Design - 1996 - Springer Berlin Heidelberg 1996 - Lecture Notes in Computer Science .

9783540495673


Computer Science