Template Polyhedra with a Twist Conference Proceeding

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• August 30, 2017

has restriction

• closed

Date in CU Experts

• February 1, 2018 9:10 AM

Full Author List

• Sankaranarayanan S; Ben Sassi MA

Full Editor List

• Ranzato F

author count

• 2

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 24th International Static Analysis Symposium (SAS)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-319-66706-5_16

International Standard Book Number (ISBN) 13

• 978-3-319-66705-8

Additional Document Info

start page

• 321

end page

• 341

volume

• 10422