Peter Gorm Larsen

Comparison of Methods

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

  • Peter Gorm Larsen
  • Andreas Prinz, Univ. of Agder – Grimstad, NorwayColin F Snook, University of Southampton, United KingdomHamed Yaghoubi Shahir , Simon Fraser Univ. – B.C., Canada
Original languageEnglish
Title of host publicationIntegration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)
EditorsU Glässer, S Hallerstede, M Leuschel, E Riccobene
Number of pages1
VolumeDagstuhl Reports, Volume 3, Issue 9
PublisherSchloss Dagstuhl--Leibniz-Zentrum für Informatik
Publication year2014
ISBN (Electronic)2192-5283
DOIs
StatePublished - 2014
EventIntegration of Tools for Rigorous Software Construction and Analysis - Leipzig, Germany
Duration: 8 Sep 201313 Sep 2013

Seminar

SeminarIntegration of Tools for Rigorous Software Construction and Analysis
LandGermany
ByLeipzig
Periode08/09/201313/09/2013

See relations at Aarhus University Citationformats

ID: 69203682