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/compsac/BowenH97
%A Bowen, Jonathan P.
%A Hinchey, Michael G.
%B COMPSAC
%D 1997
%I IEEE Computer Society
%K
%P 332-337
%T The use of industrial-strength formal methods.
%U http://dblp.uni-trier.de/db/conf/compsac/compsac1997.html#BowenH97
%@ 0-8186-8105-5
@inproceedings{conf/compsac/BowenH97,
added-at = {2011-08-02T04:26:34.000+0200},
author = {Bowen, Jonathan P. and Hinchey, Michael G.},
biburl = {https://www.bibsonomy.org/bibtex/207050210ec51be9e3c288a790eaeef4e/dvdwholesale1},
booktitle = {COMPSAC},
crossref = {conf/compsac/1997},
ee = {http://computer.org/proceedings/compsac/8105/81050332abs.htm},
interhash = {266b9931c048c6923c33b55344a30543},
intrahash = {07050210ec51be9e3c288a790eaeef4e},
isbn = {0-8186-8105-5},
keywords = {},
pages = {332-337},
publisher = {IEEE Computer Society},
timestamp = {2011-09-22T11:56:28.000+0200},
title = {The use of industrial-strength formal methods.},
url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1997.html#BowenH97},
year = 1997
}