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/re/JeffordsH01
%A Jeffords, Ralph D.
%A Heitmeyer, Constance L.
%B RE
%D 2001
%I IEEE Computer Society
%K dblp
%P 182-193
%T An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.
%U http://dblp.uni-trier.de/db/conf/re/re2001.html#JeffordsH01
%@ 0-7695-1125-2
@inproceedings{conf/re/JeffordsH01,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Jeffords, Ralph D. and Heitmeyer, Constance L.},
biburl = {https://www.bibsonomy.org/bibtex/21bec8af8632fbfd4f0e89cfed8ae6770/dblp},
booktitle = {RE},
crossref = {conf/re/2001},
ee = {https://doi.ieeecomputersociety.org/10.1109/ISRE.2001.948558},
interhash = {42ff9e65daf8bc10c105ec49c5c2b1ab},
intrahash = {1bec8af8632fbfd4f0e89cfed8ae6770},
isbn = {0-7695-1125-2},
keywords = {dblp},
pages = {182-193},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T10:33:44.000+0200},
title = {An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.},
url = {http://dblp.uni-trier.de/db/conf/re/re2001.html#JeffordsH01},
year = 2001
}