2023-11-08
Solving the bank : lightweight specification and verification techniques for enterprise software
Publication
Publication
Additional Metadata | |
---|---|
J.J. Vinju (Jurgen) , T. van der Storm (Tijs) | |
Technische Universiteit Eindhoven | |
IPA dissertation series ; 2023/10 | |
Organisation | Software Analysis and Transformation |
Stoel, J. (2023, November 8). Solving the bank : lightweight specification and verification techniques for enterprise software. IPA dissertation series. |