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/fm/KiniryZ08
%A Kiniry, Joseph R.
%A Zimmerman, Daniel M.
%B FM
%D 2008
%E Cuéllar, Jorge
%E Maibaum, T. S. E.
%E Sere, Kaisa
%I Springer
%K dblp
%P 214-228
%T Secret Ninja Formal Methods.
%U http://dblp.uni-trier.de/db/conf/fm/fm2008.html#KiniryZ08
%V 5014
%@ 978-3-540-68235-6
@inproceedings{conf/fm/KiniryZ08,
added-at = {2017-05-22T00:00:00.000+0200},
author = {Kiniry, Joseph R. and Zimmerman, Daniel M.},
biburl = {https://www.bibsonomy.org/bibtex/23e978d90c45323e8719563ac1ad8ad8d/dblp},
booktitle = {FM},
crossref = {conf/fm/2008},
editor = {Cuéllar, Jorge and Maibaum, T. S. E. and Sere, Kaisa},
ee = {https://doi.org/10.1007/978-3-540-68237-0_16},
interhash = {d9132603676f71899730ae33731ac593},
intrahash = {3e978d90c45323e8719563ac1ad8ad8d},
isbn = {978-3-540-68235-6},
keywords = {dblp},
pages = {214-228},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T16:59:14.000+0200},
title = {Secret Ninja Formal Methods.},
url = {http://dblp.uni-trier.de/db/conf/fm/fm2008.html#KiniryZ08},
volume = 5014,
year = 2008
}