Article,
Software Mythbusters Explore Formal Methods.
C. Jaspan, M. Keeling, L. Maccherone, G. Zenarosa, and M. Shaw.IEEE Software, 26 (6): 60-63 (2009)
Meta data
- BibTeX key
- journals/software/JaspanKMZS09
- entry type
- article
- year
- 2009
- journal
- IEEE Software
- number
- 6
- pages
- 60-63
- volume
- 26
- ee
- https://www.wikidata.org/entity/Q60197931
- url
- http://dblp.uni-trier.de/db/journals/software/software26.html#JaspanKMZS09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/software/JaspanKMZS09
%A Jaspan, Ciera
%A Keeling, Michael
%A Maccherone, Larry
%A Zenarosa, Gabriel L.
%A Shaw, Mary
%D 2009
%J IEEE Software
%K dblp
%N 6
%P 60-63
%T Software Mythbusters Explore Formal Methods.
%U http://dblp.uni-trier.de/db/journals/software/software26.html#JaspanKMZS09
%V 26
@article{journals/software/JaspanKMZS09,
added-at = {2019-06-02T00:00:00.000+0200},
author = {Jaspan, Ciera and Keeling, Michael and Maccherone, Larry and Zenarosa, Gabriel L. and Shaw, Mary},
biburl = {https://www.bibsonomy.org/bibtex/25f766f22fe57923692206afb4df1e00a/dblp},
ee = {https://www.wikidata.org/entity/Q60197931},
interhash = {97395bade4e5bf06ab099d61a3c1e99e},
intrahash = {5f766f22fe57923692206afb4df1e00a},
journal = {IEEE Software},
keywords = {dblp},
number = 6,
pages = {60-63},
timestamp = {2019-06-04T11:44:47.000+0200},
title = {Software Mythbusters Explore Formal Methods.},
url = {http://dblp.uni-trier.de/db/journals/software/software26.html#JaspanKMZS09},
volume = 26,
year = 2009
}