%0 Conference Paper %1 conf/itcc/BaberPVHO05 %A Baber, Robert L. %A Parnas, David Lorge %A Vilkomir, Sergiy A. %A Harrison, Paul %A O'Connor, Tony %B ITCC (2) %D 2005 %I IEEE Computer Society %K dblp %P 428-437 %T Disciplined Methods of Software Specification: A Case Study. %U http://dblp.uni-trier.de/db/conf/itcc/itcc2005-2.html#BaberPVHO05

@inproceedings{conf/itcc/BaberPVHO05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Baber, Robert L. and Parnas, David Lorge and Vilkomir, Sergiy A. and Harrison, Paul and O'Connor, Tony}, biburl = {https://www.bibsonomy.org/bibtex/2c278ebf997d8cc9eb44cc87dc995b4e5/dblp}, booktitle = {ITCC (2)}, crossref = {conf/itcc/2005-2}, ee = {https://doi.ieeecomputersociety.org/10.1109/ITCC.2005.132}, interhash = {1221adb70cfce5c56f259c338949fd07}, intrahash = {c278ebf997d8cc9eb44cc87dc995b4e5}, keywords = {dblp}, note = {isbn: 0-7695-2315-3}, pages = {428-437}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T23:42:19.000+0200}, title = {Disciplined Methods of Software Specification: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/itcc/itcc2005-2.html#BaberPVHO05}, year = 2005 }