# Type and Proof Structures for Concurrent Software Verification
**Wikidata**: [eu_cordis:724464](https://www.wikidata.org/wiki/eu_cordis:724464)  
**Source**: https://4ort.xyz/entity/type-and-proof-structures-for-concurrent-software-verification


## References

1. Source