Gillian, Part II: Real-World Verification for JavaScript and C (2021)

First Author: Maksimovic, P
Attributed to:  VeTSpec: Verified Trustworthy Software Specification funded by SPF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://link.springer.com/chapter/10.1007/978-3-030-81688-9_38

Type: Conference/Paper/Proceeding/Abstract