Cited By
View all- Jilissen KDieleman PGroote J(2024)Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial EnvironmentElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.399.6399(101-127)Online publication date: 27-Mar-2024
- Michael JBork DWimmer MMayr H(2024)Quo Vadis modeling?Software and Systems Modeling (SoSyM)10.1007/s10270-023-01128-y23:1(7-28)Online publication date: 1-Feb-2024
- Flatt MAllred TAngle NDe Gabrielle SFindler RFirth JGopinathan KGreenman BKasivajhula SKnauth AMcCarthy JPhillips SPorncharoenwase SSøgaard JTobin-Hochstadt S(2023)Rhombus: A New Spin on Macros without All the ParenthesesProceedings of the ACM on Programming Languages10.1145/36228187:OOPSLA2(574-603)Online publication date: 16-Oct-2023
- Show More Cited By