"Critical Systems: Formal Methods and Automated Verification - Joint 22nd ..."

Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (2017)

Details and statistics

DOI: 10.1007/978-3-319-67113-0

access: closed

type: Editorship

metadata version: 2022-02-21

a service of  Schloss Dagstuhl - Leibniz Center for Informatics