@inbook{708ff8a604c84db99b3c713ca7fc7718,
title = "Preface",
author = "Franck Cassez and Jean-Fran{\c c}ois Raskin",
year = "2014",
month = jan,
day = "1",
language = "English",
isbn = "9783319119359",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
editor = "Franck Cassez and Jean-Fran{\c c}ois Raskin",
booktitle = "Automated Technology for Verification and Analysis",
address = "United States",
note = "12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014 ; Conference date: 03-11-2014 Through 07-11-2014",
}