Abstraction, Refinement and Concurrent Reasoning (2017)

First Author: Raad, A
Attributed to:  Certified Verification of Client-Side Web Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://vtss.doc.ic.ac.uk/publications/Raad2017Abstraction.pdf

Type: Thesis