ICFEM 2000 [electronic resource] : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 / editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York

Conference Author: IEEE International Conference on Formal Engineering Methods (3rd : 2000 : York, England)
Additional Titles: Formal engineering methods, IEEE International Conference on Formal Engineering Methods, and International Conference on Formal Engineering Methods
Published: Los Alamitos, Calif. : IEEE Computer Society, c2000.
Physical Description: xi, 209 p. : ill. ; 28 cm.
Additional Creators: Liu, Shaoying, 1960-, McDermid, John, Hinchey, Michael G. (Michael Gerard), 1969-, and IEEE Computer Society