Hendricx, StefanStefanHendricxClaesen, LucLucClaesen2021-10-062021-10-061999https://imec-publications.be/handle/20.500.12860/3498Symbolic multi-level verification of refinementProceedings paper