Verification of sequential and concurrent programs

Additional Metadata
THEME	Logistics (theme 3)
Publisher	Springer
ISBN	978-1-4757-2714-2
Series	Graduate texts in computer science
Organisation	Networks and Optimization
Citation APA APA Style APA-ALL Style AAA 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. (1997). Verification of sequential and concurrent programs. In Graduate texts in computer science. Springer.

Publication