Invertible Linear Transforms of Numerical Abstract Domains

Ranzato, Francesco; Zanella, Marco

doi:10.1007/978-3-319-99725-4_21

Invertible Linear Transforms of Numerical Abstract Domains

Francesco Ranzato;ZANELLA, MARCO

2018

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno
	
				2018
			
	Titolo del Libro
	
				Proceedings of the 25th International Static Analysis Symposium (SAS'18)
			
	Collana/serie monografica
	
				LECTURE NOTES IN COMPUTER SCIENCE
			
	Titolo convegno
	
				25th International Static Analysis Symposium (SAS'18)
			
	Codice DOI
	
				https://dx.doi.org/10.1007/978-3-319-99725-4_21
			
	Codice WOS
	
				WOS:000477753700021
			
	Codice Scopus
	
				2-s2.0-85053637053
			
	Appare nelle tipologie:
	
				04.01 - Contributo in atti di convegno

File in questo prodotto:

File	Dimensione	Formato
final.pdf accesso aperto Tipologia: Preprint (submitted version) Licenza: Accesso libero Dimensione 369.71 kB Formato Adobe PDF Visualizza/Apri	369.71 kB	Adobe PDF	Visualizza/Apri