Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 books/crc/tucker97/BowenH97
%A Bowen, Jonathan P.
%A Hinchey, Michael G.
%B The Computer Science and Engineering Handbook
%D 1997
%E Tucker, Allen B.
%I CRC Press
%K engineering formal methods models myown process software specification
%P 2302-2322
%T Formal Models and the Specification Process.
%U http://dblp.uni-trier.de/db/books/collections/tucker97.html#BowenH97
%@ 0-8493-2909-4
@incollection{books/crc/tucker97/BowenH97,
added-at = {2011-08-01T19:43:12.000+0200},
author = {Bowen, Jonathan P. and Hinchey, Michael G.},
biburl = {https://www.bibsonomy.org/bibtex/22a7e8d0fef859f45484ab845515c41b9/jpbowen},
booktitle = {The Computer Science and Engineering Handbook},
crossref = {books/crc/tucker1997},
description = {dblp},
editor = {Tucker, Allen B.},
interhash = {c2b632c29b4f3dc980b31e4563ba1bdd},
intrahash = {2a7e8d0fef859f45484ab845515c41b9},
isbn = {0-8493-2909-4},
keywords = {engineering formal methods models myown process software specification},
pages = {2302-2322},
publisher = {CRC Press},
timestamp = {2011-08-01T19:43:13.000+0200},
title = {Formal Models and the Specification Process.},
url = {http://dblp.uni-trier.de/db/books/collections/tucker97.html#BowenH97},
year = 1997
}