Local Completeness in Abstract Interpretation

Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco

doi:10.1007/978-981-19-9601-6_8

Local Completeness in Abstract Interpretation

Bruni, Roberto;Giacobazzi, Roberto;Gori, Roberta;Ranzato, Francesco

2023

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno
	
				2023
			
	Titolo del Libro
	
				Challenges of Software Verification
			
	Collana/serie monografica
	
				INTELLIGENT SYSTEMS REFERENCE LIBRARY
			
	Codice DOI
	
				https://dx.doi.org/10.1007/978-981-19-9601-6_8
			
	Codice Scopus
	
				2-s2.0-85171460705
			
	Codice ISBN
	
				978-981-19-9600-9
978-981-19-9601-6
			
	Appare nelle tipologie:
	
				02.01 - Contributo in volume (Capitolo o Saggio)

File in questo prodotto:

File	Dimensione	Formato
csv23.pdf accesso aperto Descrizione: postprint Tipologia: Preprint (submitted version) Licenza: Accesso gratuito Dimensione 228.31 kB Formato Adobe PDF Visualizza/Apri	228.31 kB	Adobe PDF	Visualizza/Apri