No. 54 (1995): RS-54 A Case Study in Automated Verification Based on Trace Abstractions

Published: 1995-11-24

Articles