Adapting programming languages technologies for finite-state verification

Open Webpage

Matthew B. Dwyer, John Hatcliff

Published: 2000, Last Modified: 22 Mar 2026ACM SIGSOFT Softw. Eng. Notes 2000EveryoneRevisionsBibTeXCC BY-SA 4.0