Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Journal)

Activity: Publication peer-review and editorial work typesEditor of Research journalResearch

See relations at Aarhus University

Stefan Hallerstede - Reviewer

Sep 2013

Journal

JournalIntegration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)

ID: 69203900