Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/8107Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Fialho, Diogo | - |
| dc.contributor.author | Pinto, Jorge Sousa | - |
| dc.date.accessioned | 2008-09-11T18:30:21Z | - |
| dc.date.available | 2008-09-11T18:30:21Z | - |
| dc.date.issued | 2008 | - |
| dc.identifier.citation | COMPILERS, RELATED TECHNOLOGIES AND APPLICATIONS, Bragança, Portugal, 2008 – “Proceedings of Compilers, Related Technologies and and Applications (CoRTA2008)”. [Bragança : Instituto Politécnico de Bragança, 2008]. | eng |
| dc.identifier.uri | https://hdl.handle.net/1822/8107 | - |
| dc.description.abstract | We propose an empirical comparison of two VCGen algorithms for imperative languages | eng |
| dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) - projecto RESCUE | eng |
| dc.language.iso | eng | eng |
| dc.publisher | Instituto Politécnico de Bragança | eng |
| dc.rights | openAccess | eng |
| dc.subject | Verification conditions | eng |
| dc.subject | Program verification | eng |
| dc.title | A comparative study of verification condition generators | eng |
| dc.type | other | eng |
| dc.peerreviewed | yes | eng |
| Aparece nas coleções: | DI/CCTC - Artigos (papers) | |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| main.pdf | Main article | 122,68 kB | Adobe PDF | Ver/Abrir |
