Solving the bank : lightweight specification and verification techniques for enterprise software

Additional Metadata
Promotor	J.J. Vinju (Jurgen) , T. van der Storm (Tijs)
Degree Grantor	Technische Universiteit Eindhoven
ISBN	978-90-386-5845-2
Series	IPA dissertation series ; 2023/10
Organisation	Software Analysis and Transformation
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Stoel, J. (2023, November 8). Solving the bank : lightweight specification and verification techniques for enterprise software. IPA dissertation series.

Publication