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]
Abstract is missing.