@inproceedings{P107.024, author={Faes, Philippe}, title={Continuous hardware verification}, booktitle={SPS-DARTS 2007 Proceedings}, year={2007}, month={1}, pages={digitaal}, }