Peter Gorm Larsen

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

Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

    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
http://www.esug.org/wiki/pier/Conferences/2016/International-Workshop-IWST_16

Conference

ConferenceIWST16
Locationthe Faculty of Civil Engineering of Czech Technical University.
LandCzech Republic
ByPrag
Periode22/08/201624/08/2016
Internetadresse

See relations at Aarhus University Citationformats

ID: 104440871