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