%0 Conference Paper %1 conf/safecomp/CarloniFFMOV15 %A Carloni, Marco %A Ferrante, Orlando %A Ferrari, Alberto %A Massaroli, Gianpaolo %A Orazzo, Antonio %A Velardi, Luigi %B SAFECOMP Workshops %D 2015 %E Koornneef, Floor %E van Gulijk, Coen %I Springer %K dblp %P 178-189 %T Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2015w.html#CarloniFFMOV15 %V 9338 %@ 978-3-319-24248-4

@inproceedings{conf/safecomp/CarloniFFMOV15, added-at = {2017-05-26T00:00:00.000+0200}, author = {Carloni, Marco and Ferrante, Orlando and Ferrari, Alberto and Massaroli, Gianpaolo and Orazzo, Antonio and Velardi, Luigi}, biburl = {https://www.bibsonomy.org/bibtex/27b38eb34684fe9f7d3e0e6b2023bb5ef/dblp}, booktitle = {SAFECOMP Workshops}, crossref = {conf/safecomp/2015w}, editor = {Koornneef, Floor and van Gulijk, Coen}, ee = {https://doi.org/10.1007/978-3-319-24249-1_16}, interhash = {34923d217db08ef25ddfffe98a5be577}, intrahash = {7b38eb34684fe9f7d3e0e6b2023bb5ef}, isbn = {978-3-319-24248-4}, keywords = {dblp}, pages = {178-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:35:27.000+0200}, title = {Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2015w.html#CarloniFFMOV15}, volume = 9338, year = 2015 }