Johannes Kanig, Jérôme Guitton, Yannick Moy. Hi-Lite - Verification by Contract. Softwaretechnik-Trends, 31(3), 2011. [doi]
@article{KanigGM11,
title = {Hi-Lite - Verification by Contract},
author = {Johannes Kanig and Jérôme Guitton and Yannick Moy},
year = {2011},
url = {http://pi.informatik.uni-siegen.de/stt/31_3/01_Fachgruppenberichte/ada/6-kanig_guitton_moy-hilite-final.pdf},
researchr = {https://researchr.org/publication/KanigGM11},
cites = {0},
citedby = {0},
journal = {Softwaretechnik-Trends},
volume = {31},
number = {3},
}