Formal methods in computer aided design 4th international conference, FMCAD 2002, Portland, OR, USA, November 6 - 8, 2002 ; proceedings (Springer, 2002)
Literaturangaben