Christophe Rabéjac. On-line Software Error Detection by Executable Assertions: From Theory to Practice. In Gerhard Rabe, editor, 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995. pages 390-402, Springer, 1995. [doi]
@inproceedings{Rabejac95,
title = {On-line Software Error Detection by Executable Assertions: From Theory to Practice},
author = {Christophe Rabéjac},
year = {1995},
doi = {10.1007/978-1-4471-3054-3_26},
url = {https://doi.org/10.1007/978-1-4471-3054-3_26},
researchr = {https://researchr.org/publication/Rabejac95},
cites = {0},
citedby = {0},
pages = {390-402},
booktitle = {14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
editor = {Gerhard Rabe},
publisher = {Springer},
isbn = {978-3-540-19962-5},
}