Middelburg, C. A. (2025). Complementing an imperative process algebra with a rely/guarantee logic.
Chicago Style (17th ed.) CitationMiddelburg, C. A. Complementing an Imperative Process Algebra with a Rely/guarantee Logic. 2025.
MLA (9th ed.) CitationMiddelburg, C. A. Complementing an Imperative Process Algebra with a Rely/guarantee Logic. 2025.
Warning: These citations may not always be 100% accurate.