122 | -- | 125 | Germán Vidal. Introduction to the special issue on computational logic for verification |
126 | -- | 166 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Predicate Pairing for program verification |
167 | -- | 223 | Pedro López-García 0001, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat. Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption |
224 | -- | 251 | Bishoksan Kafle, John P. Gallagher, Pierre Ganty. Tree dimension in verification of constrained Horn clauses |
252 | -- | 295 | Carlos Olarte, Elaine Pimentel, Camilo Rueda. A concurrent constraint programming interpretation of access permissions |