[go: up one dir, main page]

Published July 18, 2020 | Version v1.0
Software Open

bordaigorl/lemma9: Version 1

  • 1. Imperial College London
  • 2. MPI-SWS Kaiserslautern

Description

First public release for archival in Zenodo

Files

bordaigorl/lemma9-v1.0.zip

Files (87.7 kB)

Name Size Download all
md5:b27f6a9364c86076ff18d5f0e455fad0
87.7 kB Preview Download

Additional details

Related works

Funding

European Commission
VeSPA – Verification and Specification through Progress Abstractions 795218