Formal Methods in Computer-Aided Design [E-Book] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / by Alan J. Hu, Andrew K. Martin.
Hu, Alan J.
Martin, Andrew K.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
englisch
9783540237389
Lecture notes in computer science ; 3312
Full Text
Description not available.