Skip to Content
home
Research
Tools
Publications
Sebastiaan Joosten
Research
Posted on
2018, Aug 01
Concurrent Program Verification
Posted on
2017, Nov 27
Rule Based Information Systems Design
Posted on
2016, Aug 10
Certification of Termination and Safety Proofs
Posted on
2016, Feb 24
Effective Layered Verification of Interconnects