The MathSAT 4 SMT Solver

Bruttomesso, Roberto; Cimatti, A.; Franzen, Per Anders; Griggio, Alberto; Sebastiani, Roberto

The MathSAT 4 SMT Solver

Bruttomesso, Roberto;A. Cimatti;Franzen, Per Anders;Griggio, Alberto;Sebastiani, Roberto

2008-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2008
			
	Titolo del volume (Proceedings title)
	
				Computer Aided Verification
			
	Luogo di edizione (Place of publication)
	
				Heidelberg
			
	Casa editrice (Publisher)
	
				Springer
			
	ISBN
	
				9783540705437
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-48949100787
			
	Codice WOS (WOS identifier)
	
				WOS:000257539900028
			
	Tutti gli autori
	
						Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Griggio, Alberto; Sebastiani, Roberto
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)