Specifying and checking refinement relationships in VDM++

Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden

研究成果: Conference contribution

2 被引用数 (Scopus)

フィンガープリント

「Specifying and checking refinement relationships in VDM++」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Engineering & Materials Science