Verification of Functional Programs
| dc.date.accessioned | 2026-01-10T17:38:08Z | |
| dc.identifier.neptun | INFPHD046EN-N | |
| dc.identifier.uri | https://eltetanrep.dspace.testing.qulto.eu/handle/123456789/25920 | |
| dc.title | Verification of Functional Programs | |
| dspace.entity.type | Course |