Formal Methods in Computer-Aided Design
Subtitle: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540304944
Subjects: Software engineering