Automated Logical Verification based on Trace Abstractions (1995)

Cached

Download Links

by Nils Klarlund , Nils Klarlund , Mogens Nielsen , Mogens Nielsen , Kim Sunesen , Kim Sunesen , Ny Munkegade
Citations:11 - 6 self