VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.). (Lecture notes in computer science)
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。