Ian J. Hayes;M. Mowbray;Gordon A. Rose
-;-;-
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces