Working Groups: Comparison of Methods and Tools: Summary of Meeting of Workgroup on Methodology

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  • Albert Fleischmann, Metasonic AG – Pfaffenhofen, Tyskland
  • Uwe Glässer, Simon Fraser Univ. – B.C., Canada
  • Ian Hayes , The Univ. of Queensland, Australien
  • Stefan Hallerstede
  • Dominik Hansen , Heinrich-Heine-Universität Düsseldorf, Tyskland
  • Laurent Voisin , SYSTEREL Aix en Provence, Frankrig
  • Kirsten Winter, The Univ. of Queensland, Australien
OriginalsprogEngelsk
TitelIntegration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)
RedaktørerU Glässer, S Hallerstede, M Leuschel, E Riccobene
Antal sider2
Vol/bindDagstuhl Reports, Volume 3, Issue 9
ForlagSchloss Dagstuhl--Leibniz-Zentrum für Informatik
Udgivelsesår2014
ISBN (Elektronisk)2192-5283
DOI
StatusUdgivet - 2014
BegivenhedIntegration of Tools for Rigorous Software Construction and Analysis: Dagstuhl Seminar 1372 - Leipzig, Tyskland
Varighed: 8 sep. 201313 sep. 2013

Seminar

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

Se relationer på Aarhus Universitet Citationsformater

ID: 69203557