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
Letöltés: