Applicability of formal specification to maintenance of large-scale software

Seiichi Kawano*, Kouichi Ono, Yoshiaki Fukazawa, Toshio Kadokura

*この研究の対応する著者

研究成果: Article査読

フィンガープリント

「Applicability of formal specification to maintenance of large-scale software」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science