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/icse/MenziesPH01
%A Menzies, Tim
%A Powell, John D.
%A Houle, Michael E.
%B ICSE
%D 2001
%E Müller, Hausi A.
%E Harrold, Mary Jean
%E Schäfer, Wilhelm
%I IEEE Computer Society
%K dblp
%P 391-400
%T Fast Formal Analysis of Requirements via "Topoi Diagrams".
%U http://dblp.uni-trier.de/db/conf/icse/icse2001.html#MenziesPH01
%@ 0-7695-1050-7
@inproceedings{conf/icse/MenziesPH01,
added-at = {2015-08-10T00:00:00.000+0200},
author = {Menzies, Tim and Powell, John D. and Houle, Michael E.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/298b5f53c647a292af67dd120d559b9db/dblp},
booktitle = {ICSE},
crossref = {conf/icse/2001},
editor = {Müller, Hausi A. and Harrold, Mary Jean and Schäfer, Wilhelm},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919112},
interhash = {7f9566833e432f76325286fab550f023},
intrahash = {98b5f53c647a292af67dd120d559b9db},
isbn = {0-7695-1050-7},
keywords = {dblp},
pages = {391-400},
publisher = {IEEE Computer Society},
timestamp = {2016-02-02T16:21:26.000+0100},
title = {Fast Formal Analysis of Requirements via "Topoi Diagrams".},
url = {http://dblp.uni-trier.de/db/conf/icse/icse2001.html#MenziesPH01},
year = 2001
}