New directions in computer-aided verification

Open Webpage

Thomas A. Henzinger

Published: 2000, Last Modified: 27 Apr 2025ACM SIGSOFT Softw. Eng. Notes 2000EveryoneRevisionsBibTeXCC BY-SA 4.0