%0 Conference Paper %1 conf/icse/BorgidaMR93 %A Borgida, Alexander %A Mylopoulos, John %A Reiter, Raymond %B ICSE %D 1993 %E Basili, Victor R. %E DeMillo, Richard A. %E Katayama, Takuya %I IEEE Computer Society / ACM Press %K dblp %P 303-314 %T "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. %U http://dblp.uni-trier.de/db/conf/icse/icse93.html#BorgidaMR93 %@ 0-89791-588-7

@inproceedings{conf/icse/BorgidaMR93, added-at = {2012-05-14T00:00:00.000+0200}, author = {Borgida, Alexander and Mylopoulos, John and Reiter, Raymond}, biburl = {https://www.bibsonomy.org/bibtex/2ab954e5edf9ad5d99bb932ea1bbc5930/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1993}, editor = {Basili, Victor R. and DeMillo, Richard A. and Katayama, Takuya}, ee = {http://portal.acm.org/citation.cfm?id=257572.257636}, interhash = {8d21fa107a08ab1241c130c82271feef}, intrahash = {ab954e5edf9ad5d99bb932ea1bbc5930}, isbn = {0-89791-588-7}, keywords = {dblp}, pages = {303-314}, publisher = {IEEE Computer Society / ACM Press}, timestamp = {2012-05-15T11:50:48.000+0200}, title = {"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse93.html#BorgidaMR93}, year = 1993 }