Control Closure Certificates Conference Proceeding

Overview

CU Boulder Authors

• Zamani, Majid

publication date

• October 27, 2025

Date in CU Experts

• February 2, 2026 5:36 AM

Full Author List

• Murali V; Oumer MA; Zamani M

Full Editor List

• D'Souza M; Komondoor R; Srivathsan B

author count

• 3

citation count

• 0

published in

• Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  Journal

presented at event

• 23rd International Symposium on Automated Technology for Verification and Analysis-ATVA  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-032-08707-2_18

International Standard Book Number (ISBN) 13

• 978-3-032-08706-5

Additional Document Info

start page

• 387

end page

• 407

volume

• 16145