%0 Conference Paper %1 conf/staf/RazaviBDMLF18 %A Razavi, Joseph %A Banach, Richard %A Debicki, Olivier %A Mareau, Nicolas %A Lesecq, Suzanne %A Foucault, Julie %B STAF Workshops %D 2018 %E Mazzara, Manuel %E Ober, Iulian %E Salaün, Gwen %I Springer %K dblp %P 205-215 %T Exploring Applications of Formal Methods in the INSPEX Project. %U http://dblp.uni-trier.de/db/conf/staf/staf2018w.html#RazaviBDMLF18 %V 11176 %@ 978-3-030-04771-9

@inproceedings{conf/staf/RazaviBDMLF18, added-at = {2018-12-07T00:00:00.000+0100}, author = {Razavi, Joseph and Banach, Richard and Debicki, Olivier and Mareau, Nicolas and Lesecq, Suzanne and Foucault, Julie}, biburl = {https://www.bibsonomy.org/bibtex/201a2e6b7b0245bcc81724d2e5ef74c55/dblp}, booktitle = {STAF Workshops}, crossref = {conf/staf/2018w}, editor = {Mazzara, Manuel and Ober, Iulian and Salaün, Gwen}, ee = {https://doi.org/10.1007/978-3-030-04771-9_16}, interhash = {83570f8d538b03d70559afa0ad5733ba}, intrahash = {01a2e6b7b0245bcc81724d2e5ef74c55}, isbn = {978-3-030-04771-9}, keywords = {dblp}, pages = {205-215}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:23:56.000+0200}, title = {Exploring Applications of Formal Methods in the INSPEX Project.}, url = {http://dblp.uni-trier.de/db/conf/staf/staf2018w.html#RazaviBDMLF18}, volume = 11176, year = 2018 }