Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995

Patrick Cousot (Editor), Radhia Cousot (Editor), A. Mycroft (Editor)

Research output: Book/ReportBook

Original languageEnglish (US)
PublisherSchloss Dagstuhl - Leibniz Center for Informatics
StatePublished - 1995

Cite this

Cousot, P., Cousot, R., & Mycroft, A. (Eds.) (1995). Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995. Schloss Dagstuhl - Leibniz Center for Informatics.

Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995. / Cousot, Patrick (Editor); Cousot, Radhia (Editor); Mycroft, A. (Editor).

Schloss Dagstuhl - Leibniz Center for Informatics, 1995.

Research output: Book/ReportBook

Cousot, P, Cousot, R & Mycroft, A (eds) 1995, Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995. Schloss Dagstuhl - Leibniz Center for Informatics.
Cousot P, (ed.), Cousot R, (ed.), Mycroft A, (ed.). Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995. Schloss Dagstuhl - Leibniz Center for Informatics, 1995.
Cousot, Patrick (Editor) ; Cousot, Radhia (Editor) ; Mycroft, A. (Editor). / Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995. Schloss Dagstuhl - Leibniz Center for Informatics, 1995.
@book{97d954378c6b43b281b7b1febdd1e172,
title = "Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995",
editor = "Patrick Cousot and Radhia Cousot and A. Mycroft",
year = "1995",
language = "English (US)",
publisher = "Schloss Dagstuhl - Leibniz Center for Informatics",

}

TY - BOOK

T1 - Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995

A2 - Cousot, Patrick

A2 - Cousot, Radhia

A2 - Mycroft, A.

PY - 1995

Y1 - 1995

M3 - Book

BT - Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995

PB - Schloss Dagstuhl - Leibniz Center for Informatics

ER -