Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Book Section
%1 reference/se/HincheyBV10
%A Hinchey, Mike
%A Bowen, Jonathan P.
%A Vassev, Emil
%B Encyclopedia of Software Engineering
%D 2010
%E Laplante, Phillip A.
%I Taylor & Francis
%K dblp
%P 308-320
%T Formal Methods.
%U http://dblp.uni-trier.de/db/reference/se/se2010.html#HincheyBV10
%@ 978-1-4200-5977-9
@incollection{reference/se/HincheyBV10,
added-at = {2011-11-25T00:00:00.000+0100},
author = {Hinchey, Mike and Bowen, Jonathan P. and Vassev, Emil},
biburl = {https://www.bibsonomy.org/bibtex/2f501cd554222613b3c3153c71af36e2c/dblp},
booktitle = {Encyclopedia of Software Engineering},
crossref = {reference/se/2010},
editor = {Laplante, Phillip A.},
ee = {http://www.informaworld.com/10.1081/E-ESE-120044313},
interhash = {fe77d0ad8a61383c049a8d272962a069},
intrahash = {f501cd554222613b3c3153c71af36e2c},
isbn = {978-1-4200-5977-9},
keywords = {dblp},
pages = {308-320},
publisher = {Taylor & Francis},
timestamp = {2011-11-26T11:39:42.000+0100},
title = {Formal Methods.},
url = {http://dblp.uni-trier.de/db/reference/se/se2010.html#HincheyBV10},
year = 2010
}