Ruben Lapauw
发表
Maurice Bruynooghe,
Marc Denecker,
Ruben Lapauw,
2020,
VMCAI.
Marc Denecker,
Marcos Cramer,
Ingmar Dasseville,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Marc Denecker,
Ingmar Dasseville,
Ruben Lapauw,
2015,
ArXiv.
Maurice Bruynooghe,
Marc Denecker,
Ruben Lapauw,
2021,
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems.