%0 Conference Paper %1 conf/issta/Bonacchi13 %A Bonacchi, Andrea %B ISSTA %D 2013 %E Pezzè, Mauro %E Harman, Mark %I ACM %K dblp %P 378-381 %T Formal safety proof: a real case study in a railway interlocking system. %U http://dblp.uni-trier.de/db/conf/issta/issta2013.html#Bonacchi13 %@ 978-1-4503-2159-4

@inproceedings{conf/issta/Bonacchi13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Bonacchi, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/2a72625baa0253a355fcc475310f12828/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2013}, editor = {Pezzè, Mauro and Harman, Mark}, ee = {https://doi.org/10.1145/2483760.2492398}, interhash = {f9902db18c8fcba04b0bb58ed6247b9f}, intrahash = {a72625baa0253a355fcc475310f12828}, isbn = {978-1-4503-2159-4}, keywords = {dblp}, pages = {378-381}, publisher = {ACM}, timestamp = {2024-04-09T20:41:14.000+0200}, title = {Formal safety proof: a real case study in a railway interlocking system.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2013.html#Bonacchi13}, year = 2013 }