ViennaTalk and assertch: Building lightweight formal methods environments on pharo 4

Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

2 被引用数 (Scopus)

フィンガープリント

「ViennaTalk and assertch: Building lightweight formal methods environments on pharo 4」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science