LOADING

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

Departments:

Faculty of Science and Technology > School of Computing & Communications

ID Code:

185163

Deposited By:

ep_importer_pure

Deposited On:

01 Feb 2023 16:55

Refereed?:

No

Published?:

Published

Last Modified:

28 Nov 2023 10:40

URI:

https://eprints.lancs.ac.uk/id/eprint/185163