The MathSAT 5 SMT Solver

Cimatti, Alessandro; Griggio, Alberto; B. Joost Schaafsma; Sebastiani, Roberto

doi:10.1007/978-3-642-36742-7_7

The MathSAT 5 SMT Solver

Cimatti, Alessandro;Griggio, Alberto;B. Joost Schaafsma;Sebastiani, Roberto

2013-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2013
			
	Titolo del volume (Proceedings title)
	
				Tools and Algorithms for the Construction and Analysis of Systems
			
	Luogo di edizione (Place of publication)
	
				Berlin
			
	Casa editrice (Publisher)
	
				Berlin: Springer-Verlag
			
	ISBN
	
				9783642367410
9783642367427
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-84874415102
			
	Tutti gli autori
	
						Cimatti, Alessandro; Griggio, Alberto; B., Joost Schaafsma; Sebastiani, Roberto