5. Programverifikáció II: predikátumabsztrakció

Semester: 
2020. tavasz

Javasolt olvasmány a Formális módszerek tárgy diasora CEGAR témában

Kiinduló projekt: https://github.com/ftsrg-ca/ca/tree/master/program-verification-2