Peter Gorm Larsen

ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Tomohiro Oda, Software Research Associates, Inc., Keijiro Akari, Kyushu University,
  • Peter Gorm Larsen
Original languageEnglish
Title of host publicationProceedings of the 11th edition of the International Workshop on Smalltalk Technologies (IWST 2016) : In conjunction with the 24th International Smalltalk Joint Conference
Number of pages7
PublisherAssociation for Computing Machinery
Publication yearAug 2016
Article number5
ISBN (Electronic)978-1-4503-4524-8
StatePublished - Aug 2016
EventIWST16 - the Faculty of Civil Engineering of Czech Technical University., Prag, Czech Republic
Duration: 22 Aug 201624 Aug 2016


Locationthe Faculty of Civil Engineering of Czech Technical University.
LandCzech Republic

See relations at Aarhus University Citationformats

ID: 104440871