No. 53 (1995): RS-53 Automated Logical Verification based on Trace Abstractions

Published: 1995-11-23

Articles