Peter Gorm Larsen

VDM Animation for a Wider Range of Stakeholders

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

    Tomohiro Oda, Software Research Associates, Inc., JapanYasuhiro Yamamoto, University of Tokyo, JapanKumiyo Nakakoji, University of Tokyo, Software Research Associates, Inc., JapanKeijiro Araki, Kyushu University, Japan
  • Peter Gorm Larsen
Original languageEnglish
Title of host publicationProceedings of the 13th Overture Workshop
VolumeGrace-TR 2015-06
Place of publicationTokyo
PublisherNational Institute of Informatics, Tokyo
Publication year2015
Pages18-32
StatePublished - 2015
Event13th Overture workshop - Oslo, Norway
Duration: 23 Jun 201523 Jun 2015

Conference

Conference13th Overture workshop
LandNorway
ByOslo
Periode23/06/201523/06/2015
SeriesGrace Technical Reports
Number06
Volume2015
ISSN1884-0760

See relations at Aarhus University Citationformats

ID: 87513307