@inproceedings{d28edfbc649743b9be1273b0bf5d0343,
title = "Using the INKA prover to automate safety proofs in abstract interpretation - a case study",
author = "D.R. Dams and D. Hutter and N. Sidorova",
year = "1999",
language = "English",
pages = "17--19",
editor = "F. Bellegarde and O. Kouchnarenko",
booktitle = "Abstract, Workshop on Modelling and Verification, C.I.S.",
note = "conference; Workshop on Modelling and Verification, C.I.S., Besancon, France, 9-11 December 1999 ; Conference date: 01-01-1999",
}