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

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

研究成果: ジャーナルへの寄稿会議記事査読

フィンガープリント

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

Computer Science