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

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

研究成果: Contribution to journalConference article査読

フィンガープリント

「Well-defined software process as vehicle to understand effectiveness of formal methods」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science