Ronald Burgman - Specifying Multi-Threaded Java Programs (A Comparison between JML and Separation Logic)

author:Ronald Burgman
title:Specifying Multi-Threaded Java Programs (A Comparison between JML and Separation Logic)
keywords:
committee:?
graduation date:January 2010


Abstract