conf.researchr.org / Dirk-Jan Swagerman

Registered user since Wed 4 Sep 2024

Name:Dirk-Jan Swagerman
Bio:

See https://www.linkedin.com/in/djswagerman/

Affiliation:Buffadoo BV
Personal website: https://buffadoo.nl
Research interests:Model based development. TLA+, Alloy

Contributions