Concurrent verification for sequential programs (2013)

First Author: Wickerson John Peter

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.648403

Type: Thesis