Abstract Interpretation with Unfoldings Conference Proceeding

Overview

CU Boulder Authors

• Sousa, Marcelo C

publication date

• July 22, 2017

Date in CU Experts

• February 13, 2025 1:34 AM

Full Author List

• Sousa M; Rodriguez C; D'Silva V; Kroening D

Full Editor List

• Majumdar R; Kuncak V

author count

• 4

citation count

• 5

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 29th International Conference on Computer-Aided Verification (CAV)  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-63390-9_11

International Standard Book Number (ISBN) 13

• 978-3-319-63389-3

Additional Document Info

start page

• 197

end page

• 216

volume

• 10427