Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}