Richard Banach
Retrenchment Tutorial
SEFM, 2006.
@inproceedings{SEFM-2006-Banach, author = "Richard Banach", booktitle = "{Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2006.32", isbn = "0-7695-2678-0", pages = "259", publisher = "{IEEE Computer Society}", title = "{Retrenchment Tutorial}", year = 2006, }