もしかして

最近、形式手法が気になって、Bメソッドを紹介している本を買ったわけなんですが、どうもBメソッドって、日本ではマイナーみたいですね。

ちょっと調べると、VDMのほうはいっぱい見つかるし、適用事例もいろいろあるみたいですね。

いくら、僕がフランス語を大学でとっていたといっても、ジュテーム程度しかわからないので、情報がひきだせなくて困っています。