Author: Baudouin Le Charlier
Publication Overview
Publication period start: 1996
Publications
Charlier,
Baudouin Le
(1996):
Abstract Interpretation and Application to Interactive System Verification.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 46-72.