Verified Three-Way Program Merge Journal Article

Overview

CU Boulder Authors

• Sousa, Marcelo C

publication date

• November 1, 2018

Date in CU Experts

• February 13, 2025 1:34 AM

Full Author List

• Sousa M; Dillig I; Lahiri SK

author count

• 3

citation count

• 16

published in

• Proceedings of the ACM on Programming Languages  Journal

Other Profiles

Electronic International Standard Serial Number (EISSN)

• 2475-1421

Digital Object Identifier (DOI)

• https://doi.org/10.1145/3276535

Additional Document Info

volume

• 2

number

• ARTN 165