2008
A Deductive Proof System for Multithreaded Java with Exceptions
Publication
Publication
Fundamenta Informaticae , Volume 82 - Issue 4
Additional Metadata | |
---|---|
IOS Press | |
Fundamenta Informaticae | |
MOBI-J (vervolg) | |
Organisation | Computer Security |
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). |