Baudouin Le Charlier

Author: Baudouin Le Charlier

Publications

Publication period start: 1996
Number of co-authors: 0

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.