Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz
Jose: Aspects for Design by Contract80-89
SEFM, 2006.
@inproceedings{SEFM-2006-FeldmanBT,
author = "Yishai A. Feldman and Ohad Barzilay and Shmuel S. Tyszberowicz",
booktitle = "{Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods}",
doi = "10.1109/SEFM.2006.26",
isbn = "0-7695-2678-0",
pages = "80--89",
publisher = "{IEEE Computer Society}",
title = "{Jose: Aspects for Design by Contract80-89}",
year = 2006,
}
Tags: