Well-defined software process as vehicle to understand effectiveness of formal methods

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Well-defined software process as vehicle to understand effectiveness of formal methods'. Together they form a unique fingerprint.

Engineering & Materials Science