%0 Conference Paper %1 conf/sefm/Gomez-MartinezRERE14 %A Gómez-Martínez, Elena %A Rodríguez, Ricardo J. %A Elorza, Leire Etxeberria %A Rezabal, Miren Illarramendi %A Earle, Clara Benac %B SEFM Workshops %D 2014 %E Canal, Carlos %E Idani, Akram %I Springer %K dblp %P 101-115 %T Model-Based Verification of Safety Contracts. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2014w.html#Gomez-MartinezRERE14 %V 8938 %@ 978-3-319-15200-4

@inproceedings{conf/sefm/Gomez-MartinezRERE14, added-at = {2021-04-09T00:00:00.000+0200}, author = {Gómez-Martínez, Elena and Rodríguez, Ricardo J. and Elorza, Leire Etxeberria and Rezabal, Miren Illarramendi and Earle, Clara Benac}, biburl = {https://www.bibsonomy.org/bibtex/2c581b7e8d2e4085cefb7d00ca04dd5d3/dblp}, booktitle = {SEFM Workshops}, crossref = {conf/sefm/2014w}, editor = {Canal, Carlos and Idani, Akram}, ee = {https://doi.org/10.1007/978-3-319-15201-1_7}, interhash = {63a140129b08f71da5c3f64e84bffc38}, intrahash = {c581b7e8d2e4085cefb7d00ca04dd5d3}, isbn = {978-3-319-15200-4}, keywords = {dblp}, pages = {101-115}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:22:16.000+0200}, title = {Model-Based Verification of Safety Contracts.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2014w.html#Gomez-MartinezRERE14}, volume = 8938, year = 2014 }