Connectors as designs: Modeling, refinement and test case generation
- Meng Sun
- , Farhad Arbab
- , Bernhard Aichernig
- , Lacramioara Astefanoaei
- , Frank S. de Boer
- , Jan Rutten
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review