Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.). (Lecture notes in computer science)
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。