Searching for authors named "Pieter Bekaert" – sorted by Relevance.
-
Using Non-Determinism for the Separate Specification of Structure and
- Using Non-Determinism for the Separate Specification of Structure and Behaviour Pieter Bekaert
- Add To MetaCart
-
Whole-Program Specifications Permit Better Abstraction and Concurrent Implementations
- , Frank Piessens, Pieter Bekaert, and Eric Steegmans Department of Computer Science Katholieke
- Add To MetaCart
-
On the Transformation of Object-Oriented Conceptual Models to Logical Theories
- On the Transformation of Object-Oriented Conceptual Models to Logical Theories Pieter Bekaert
- Cited by 2 (1 self) – Add To MetaCart

