Marten van Sinderen;Jeroen Schot
-;-
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces