[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design ||
Aagaard, Mark D., O’Leary, John W.Volume:
10.1007/3-
Year:
2002
Language:
english
Pages:
1
DOI:
10.1007/3-540-36126-X
File:
PDF, 187 KB
english, 2002