IFIP WG1.3 Foundations of System Specification
Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Prof. Dr.
Christine Choppy
LIPN (Laboratoire d'Informatique de Paris Nord)UMR CNRS 7030, Institut Galilée - Université Paris XIII
France
Research topics: Formal specification frameworks, formal specification methodology, uses of formal specification in software development, reverse engineering using formal specifications (updated at 2005-01-28)
http://www-lipn.univ-paris13.fr/~choppy/