@inproceedings{1821eda1eabb4a10a848dff53c048089,
title = "Retrenchment",
author = "Richard Banach and Michael Poppleton and Wing, {Jeannette M} and Jim Woodcock and Jim Davies",
year = "1999",
language = "English",
isbn = "3-540-66588-9",
volume = "1709",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "1864--1865",
editor = "Wing, {Jeannette M} and Jim Woodcock and Jim Davies",
booktitle = "World Congress on Formal Methods",
address = "United States",
note = "FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II ; Conference date: 01-01-1824",
url = "http://dblp.uni-trier.de/db/conf/fm/fm1999-2.html#BanachP99http://dblp.uni-trier.de/rec/bibtex/conf/fm/BanachP99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fm/BanachP99",
}