# Verifying and Synthesizing Software Compositions
**Wikidata**: [eu_cordis:321174](https://www.wikidata.org/wiki/eu_cordis:321174)  
**Source**: https://4ort.xyz/entity/verifying-and-synthesizing-software-compositions


## References

1. Source