Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen. ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4. In Jannik Laval, Anne Etien, editors, Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies, IWST 2016, Prague, Czech Republic, August 23-24, 2016. pages 4, ACM, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.