An Assertional Proof System for Multithreaded Java - Theory and Tool Support

Additional Metadata
THEME	Software (theme 1), Logistics (theme 3), Energy (theme 4)
Degree Grantor	Rijksuniversiteit Leiden
Promotor	W.P. de Roever , J.N. Kok (Joost)
ISBN	978-90-90-18908-6
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	Abraham, E. (2005, January 20). An Assertional Proof System for Multithreaded Java - Theory and Tool Support.

Publication