Speeding Up SMT-Based Quantitative Program Analysis
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Daniel J. Fremont, Sanjit A. Seshia
Speeding Up SMT-Based Quantitative Program Analysis
SMT, 2014.

SMT 2014
no DBLP info
Full names Links ISxN
	author        = "Daniel J. Fremont and Sanjit A. Seshia",
	booktitle     = "{Proceedings of the 12th International Workshop on Satisfiability Modulo Theories}",
	editor        = "Philipp Rümmer and Christoph M. Wintersteiger",
	openpdf       = "http://ceur-ws.org/Vol-1163/paper-02.pdf",
	pages         = "3--13",
	publisher     = "{CEUR-WS.org}",
	series        = "{CEUR Workshop Proceedings}",
	title         = "{Speeding Up SMT-Based Quantitative Program Analysis}",
	url           = "http://ceur-ws.org/Vol-1163/#paper-02",
	volume        = 1163,
	year          = 2014,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.