Generating supportive hypotheses in introducing formal methods using a software processes improvement model.

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

Browse the full ICSE paper archive.