Lecture 2/11: Satisfiability Modulo Theories, Part I. Bundala, D. & Seshia, S. A
bibtex   
@article{bundala_lecture_nodate,
	title = {Lecture 2/11: {Satisfiability} {Modulo} {Theories}, {Part} {I}},
	language = {en},
	author = {Bundala, Daniel and Seshia, Sanjit A},
}

Downloads: 0