First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
Los Alamitos
IEEE Computer Society Press
1997
xi, 327 p.: ill.; 28 cm
Includes bibliographical references and index
Congresses ، Engineering-- Methodology
Congresses ، Computer software-- Development
TA
5
.
I415
1997
AU
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing in cooperation with Software Engineers Association of Japan ... ]et al.[; ]edited by Michael G. Hinchey and Shaoying Liu[
AU (drareG leahciM) .G leahciM ,yehcniH 1969-
AU gniyoahS ,uiL 1960-
CO IEEE Computer Society
CO IEEE Computer Society. Technical Committee on Complexity in Computing
TI
IEEE International Conference on Formal Engineering Methods )1st: 1997: Hiroshima-shi, Japan(