Publikation
Dennis Dams; Dieter Hutter; Natalia Sidorova
In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, 1999.
@inproceedings{pub1559, author = { Dams, Dennis and Hutter, Dieter and Sidorova, Natalia }, editor = { Bellegarde, Françoise and Kouchnarenko, Olga }, title = {Using the INKA prover to automate safety proofs in abstract interpretation - A case study}, booktitle = {Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon}, year = {1999}, address = {Besançon, France} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023