Boute, RaymondRaymondBoute2021-10-152021-10-152004https://imec-publications.be/handle/20.500.12860/8633Functional predicate calculus and generic functionals in software engineering (Tutorial 6)Oral presentation