Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2022 | |
| Contributo in Atti di convegno | |
| CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. In: Proc. of the 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 ACM Pag.156:1-156:5 ISBN:9781450394758 | |
| 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 Rochester, MI, USA October 10-14, 2022 | |
| Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P. | |
| Digital Object Identifier (DOI): 10.1145/3551349.3559523 Codice identificativo ISI: WOS:001062775200108 Codice identificativo SCOPUS: 2-s2.0-85146936369 | |
| Visualizza sul Database dei Prodotti (IRIS) |
