A Deductive Proof System for Multithreaded Java with Exceptions

2008

Fundamenta Informaticae , Volume 82 - Issue 4

Additional Metadata
ACM	Software (acm D)
THEME	Software (theme 1)
Publisher	IOS Press
Journal	Fundamenta Informaticae
Project	MOBI-J (vervolg)
Organisation	Computer Security
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	de Boer, F., Abraham, E., de Roever, W. P., & Steffen, M. (2008). A Deductive Proof System for Multithreaded Java with Exceptions. Fundamenta Informaticae, 82(4).

Publication