Christiano de O. Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim. Transformation contracts in practice. IEE Proceedings - Software, 6(1):16-32, 2012. [doi]
@article{BragaMCSL12,
title = {Transformation contracts in practice},
author = {Christiano de O. Braga and Roberto Menezes and Thiago Comicio and Cassio Santos and Edson Landim},
year = {2012},
doi = {10.1049/iet-sen.2011.0013},
url = {http://dx.doi.org/10.1049/iet-sen.2011.0013},
researchr = {https://researchr.org/publication/BragaMCSL12},
cites = {0},
citedby = {0},
journal = {IEE Proceedings - Software},
volume = {6},
number = {1},
pages = {16-32},
}