<< EEMCS (EWI)
Home News and Events People Research Education    » Courses    » ST Master    » BSc Projects    » MSc Projects    » Design Projects    » Internships Vacancies Intranet Contact
author: Ronald Burgman
title: Specifying Multi-Threaded Java Programs (A Comparison between JML and Separation Logic)
keywords:
topics:
committee: ?
end: January 2010

Additional Resources

  1. The paper