First IEEE International Conference Conference [sic] on Formal Engineering Methods: Proceedings, Hiroshima, Japan, November 12-14, 1997 by Michael G. Hinchey | Menrva Books | MenrvaBooks