Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods.

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

Browse the full FM paper archive.