Verification of Synchronous Sequential Machines Based on Symbolic Execution", (1989)

by O Coudert, C Berthet, Madre J Ch
Venue:in Lecture Notes in Computer Science,