Modular Verification of Recursive Programs

Additional Metadata
THEME	Logistics (theme 3), Software (theme 1)
Publisher	Springer
Editor	O. Grumberg
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., de Boer, F.& Olderog, E.-R. (2009). Modular Verification of Recursive Programs. In O. Grumberg (Ed.), Languages: From Formal to Natural (pp. 1–21). Springer.

Publication