Verification of Sequential and Concurrent Programs

Additional Metadata
THEME	Logistics (theme 3), Software (theme 1)
Publisher	Springer
Editor	D. Gries , F.B. Schneider
ISBN	978-1-84882-744-8
Organisation	Networks and Optimization
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	Apt, K., Olderog, E.-R., & de Boer, F. (2009). Verification of Sequential and Concurrent Programs. (D. Gries & F. B. Schneider, Eds.). Springer.

Publication