Program verification: To err is human

Additional Metadata
Persistent URL	doi.org/10.1007/978-3-319-30734-3_1
Organisation	CWI management
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.R. (2016). Program verification: To err is human. doi:10.1007/978-3-319-30734-3_1

Publication