Formal methods as a unifying basis for electrical and computer engineering

Boute, RaymondRaymondBoute2021-10-162021-10-162005https://imec-publications.be/handle/20.500.12860/10142Formal methods as a unifying basis for electrical and computer engineeringOral presentation