# Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems
**Wikidata**: [eu_cordis:789108](https://www.wikidata.org/wiki/eu_cordis:789108)  
**Source**: https://4ort.xyz/entity/engineering-with-logic-and-verification-mathematically-rigorous-engineering-for-safe-and-secure-computer-systems


## References

1. Source