Expansion for Universal Quantifiers

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	21st European Symposium on Programming, ESOP 2012
Publisher	Springer
Pages	456-475
Number of pages	20
ISBN (Electronic)	978-3-642-28869-2
DOIs	https://doi.org/10.1007/978-3-642-28869-2_23
Publication status	Published - 2012

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7211
ISSN (Print)	0302-9743

Access to Document

@inproceedings{0f4b296a808f4bc4b9bd7deccdea79a1,

title = "Expansion for Universal Quantifiers",

author = "Sergue{\"i} Lenglet and Wells, {Joseph Brian}",

year = "2012",

doi = "10.1007/978-3-642-28869-2_23",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "456--475",

booktitle = "Programming Languages and Systems",

}