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

Publiceret: 1995-11-24

Artikler