Sallai, Gyula and Hajdu, Ákos and Tóth, Tamás and Micskei, Zoltán Imre (2017) Towards Evaluating Size Reduction Techniques for Software Model Checking. In: Proceedings of the Fifth International Workshop on Verification and Program Transformation. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association, Uppsala, pp. 1-17.
|
Text
vpt17_author_pdfa_u.pdf Download (440kB) | Preview |
| Item Type: | Book Section |
|---|---|
| Additional Information: | Elfogadásra került, de még nem jelent meg. |
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 31 Jul 2017 12:26 |
| Last Modified: | 31 Jul 2017 12:26 |
| URI: | http://real.mtak.hu/id/eprint/57632 |
Actions (login required)
 |
Edit Item |
