# Logical Foundations for the Future of Safe Systems Programming
**Wikidata**: [eu_cordis:683289](https://www.wikidata.org/wiki/eu_cordis:683289)  
**Source**: https://4ort.xyz/entity/logical-foundations-for-the-future-of-safe-systems-programming


## References

1. Source