ViennaTalk: An integrated specification environment focused on the early stage of the formal specification phase

Tomohiro Oda, Keijiro Araki

研究成果: Contribution to journalArticle査読

1 被引用数 (Scopus)

フィンガープリント

「ViennaTalk: An integrated specification environment focused on the early stage of the formal specification phase」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science