Modular Verification of a Modular Specification: Behavioral Types as Program Logics

Published in PhD Thesis, 2020

Recommended citation: Eduard Kamburjan. (2020). PhD Thesis