MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings

by Aagaard, Mark D
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Aagaard, Mark D....”