Thomas Neele, Marijn Rol, Jan Friso Groote. Verifying System-Wide Properties of Industrial Component-Based Software. In Proceedings of FSEN 2019. 2019.
@inproceedings{NeeleRG19,
title = {Verifying System-Wide Properties of Industrial Component-Based Software},
author = {Thomas Neele and Marijn Rol and Jan Friso Groote},
year = {2019},
note = {To appear},
researchr = {https://researchr.org/publication/NeeleRG19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of FSEN 2019},
}