Szőke, Gábor (2012) Extended Static Checking of Evolving Programs by Change Contract. ['eprint_fieldopt_thesis_type_master' not defined] thesis, Szegedi Tudományegyetem.
![[thumbnail of 2012_szoke_gabor.pdf]](https://diploma.bibl.u-szeged.hu/style/images/fileicons/text.png "2012_szoke_gabor.pdf")
Text2012_szoke_gabor.pdf - Thesis
Restricted to SZTE designated computers only
Download (742kB)
Text2012_szoke_gabor_osszefoglalo.pdf - Resume
Restricted to SZTE designated computers only
Download (1MB)
Text2012_szoke_gabor_biralat.pdf - Review
Restricted to Repository staff only
Download (1MB)
Text2012_szoke_gabor_kerelem.pdf - Supplement
Restricted to SZTE designated computers only
Download (1MB)
![[thumbnail of 2012_szoke_gabor_melleklet.tgz]](https://diploma.bibl.u-szeged.hu/style/images/fileicons/archive.png "2012_szoke_gabor_melleklet.tgz")
Archive2012_szoke_gabor_melleklet.tgz - Supplement
Restricted to SZTE designated computers only
Download (616MB)
| Item Type: | Thesis (['eprint_fieldopt_thesis_type_master' not defined]) |
|---|---|
| Subjects: | 01. Natural sciences 01. Natural sciences > 01.02. Computer and information sciences 01. Natural sciences > 01.02. Computer and information sciences > 01.02.01. Computer sciences, information science and bioinformatics |
| Depositing User: | TTIK szerkesztő |
| Date Deposited: | 05 Oct 2021 12:44 |
| Last Modified: | 08 Sep 2023 10:45 |
| URI: | https://diploma.bibl.u-szeged.hu/id/eprint/119185 |
Actions (login required)
- View Item
