Groote, J. F., & Volk, M. (2025). A formal specification of the desired software behaviour of the Princess Marijke lock complex.
Chicago Style (17th ed.) CitationGroote, Jan Friso, and Matthias Volk. A Formal Specification of the Desired Software Behaviour of the Princess Marijke Lock Complex. 2025.
MLA (9th ed.) CitationGroote, Jan Friso, and Matthias Volk. A Formal Specification of the Desired Software Behaviour of the Princess Marijke Lock Complex. 2025.
Warning: These citations may not always be 100% accurate.