Using Partial Evaluation to Enable Verification of Concurrent Software

Open Webpage

Matthew B. Dwyer, John Hatcliff, Muhammad Nanda

Published: 1998, Last Modified: 22 Mar 2026ACM Comput. Surv. 1998EveryoneRevisionsBibTeXCC BY-SA 4.0