Corecursion for Compositional Verification

Caminati, Marco B and Kerber, Manfred (2016) Corecursion for Compositional Verification. UNSPECIFIED.

Full text not available from this repository.
Item Type:
Other
ID Code:
185163
Deposited By:
Deposited On:
01 Feb 2023 16:55
Refereed?:
No
Published?:
Published
Last Modified:
15 Jul 2024 07:43