Prototyping a tool environment for run-time assertion checking in JML with Communication Histories

2010

Presented at the Workshop on Formal Techniques for Java-like Programs

Additional Metadata
THEME	Software (theme 1), Software (theme 1)
Publisher	ACM
Editor	B.P.F. Jacobs , F. Piessens
Persistent URL	doi.org/10.1145/1924520.1924526
Conference	Workshop on Formal Techniques for Java-like Programs
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 Gouw, S., de Boer, F., & Vinju, J. (2010). Prototyping a tool environment for run-time assertion checking in JML with Communication Histories. In B. P. F. Jacobs & F. Piessens (Eds.), Proceedings of 12th Workshop on Formal Techniques for Java-like Programs 2010. ACM. doi:10.1145/1924520.1924526

Publication