Alan Wills. Capsules and Types in Fresco: Program Verification in Smalltalk. In Pierre America, editor, ECOOP 91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings. Volume 512 of Lecture Notes in Computer Science, pages 59-76, Springer, 1991. [doi]
@inproceedings{Wills91,
title = {Capsules and Types in Fresco: Program Verification in Smalltalk},
author = {Alan Wills},
year = {1991},
url = {http://link.springer.de/link/service/series/0558/bibs/0512/05120059.htm},
tags = {program verification},
researchr = {https://researchr.org/publication/Wills91},
cites = {0},
citedby = {0},
pages = {59-76},
booktitle = {ECOOP 91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings},
editor = {Pierre America},
volume = {512},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-54262-0},
}