Grieskamp,Wolfgang (ed.) Integrated formal methods / Grieskamp,Wolfgang (ed.). - 2nd international co - Berlin: Springer, 2000. - x,439p;23cm - Lecture notes in computer science; no 1945 . Includes bibliographical references. ISBN: 354041196 Dewey Class. No.: 004 LEC