DMCA

Verification of synchronous sequential machines based on symbolic execution (1989)

Cached

Download Links

by Olivier Coudert , Christian Berthet , Jean Christophe Madre
Citations:175 - 3 self