Triumphs and challenges for the industrial application of model-oriented formal methods /
Fitzgerald, John,1965-author.
Larsen, P. G.(Peter Gorm),1964-author.
University of Newcastle upon Tyne.School of Computing Science.
Title from cover.
"January, 2007".
Includes bibliographical references.