%0 Conference Paper %1 conf/icse/Breen04 %A Breen, Michael %B ICSE %D 2004 %E Finkelstein, Anthony %E Estublier, Jacky %E Rosenblum, David S. %I IEEE Computer Society %K dblp %P 711-712 %T Statestep: A Tool for Systematic, Incremental Specification. %U http://dblp.uni-trier.de/db/conf/icse/icse2004.html#Breen04 %@ 0-7695-2163-0

@inproceedings{conf/icse/Breen04, added-at = {2023-03-23T00:00:00.000+0100}, author = {Breen, Michael}, biburl = {https://www.bibsonomy.org/bibtex/25a28c173b504fc2643c5834f5f938366/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2004}, editor = {Finkelstein, Anthony and Estublier, Jacky and Rosenblum, David S.}, ee = {http://dl.acm.org/citation.cfm?id=999482}, interhash = {6adaba30f972f2c9b4c367ec3f9e676a}, intrahash = {5a28c173b504fc2643c5834f5f938366}, isbn = {0-7695-2163-0}, keywords = {dblp}, pages = {711-712}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:36:04.000+0200}, title = {Statestep: A Tool for Systematic, Incremental Specification.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2004.html#Breen04}, year = 2004 }