Salvatore LA TORRE | Publications
Salvatore LA TORRE Publications
| 2024 | |
| Articolo in rivista | |
| CHC-Based Verification of Programs Through Graph Decompositions SN COMPUTER SCIENCE. Vol. 5. Pag.1-28 ISSN:2661-8907. | |
| Faella, Marco; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1007/s42979-024-03371-6 Codice identificativo SCOPUS: 2-s2.0-85209549238 | |
| Show it in Product Database (IRIS) |
