Effective Verification: Static Analysis Meets Program Logics (2019)

First Author: Brotherston J
Attributed to:  Interface reasoning for interacting systems (IRIS). funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other