Andrea Bonacchi 0001
Formal safety proof: a real case study in a railway interlocking system
ISSTA, 2013.
@inproceedings{ISSTA-2013-Bonacchi, author = "Andrea Bonacchi 0001", booktitle = "{Proceedings of the 22nd International Symposium on Software Testing and Analysis}", doi = "10.1145/2483760.2492398", isbn = "978-1-4503-2159-4", pages = "378--381", publisher = "{ACM}", title = "{Formal safety proof: a real case study in a railway interlocking system}", year = 2013, }