Proceedings-Artikel
Using the INKA prover to automate safety proofs in abstract interpretation - A case study
Dennis Dams; Dieter Hutter; Natalia Sidorova
In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Besançon, 1999.