págs. 1101-1113
Reflexive transitive invariant relations: A basis for computing loop functions
Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi
págs. 1114-1143
págs. 1144-1162
Verifying pointer safety for programs with unknown calls
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin
págs. 1163-1183
págs. 1184-1211
págs. 1212-1233
págs. 1234-1249
© 2001-2024 Fundación Dialnet · Todos los derechos reservados