MPG.eBooks - Search Results - "Nova Scotia"

Search alternatives:
nova » nov

Cover Image

1

Formal Methods for Trustworthy Computer Systems (FM89) : Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax,...

Published 1990

Springer London

“... spheres of Canada, the United Kingdom, and the United States. The workshop was held in Halifax, Nova...”