Yann Rouzaud

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Yann Rouzaud
Interpreting the B-Method in the Refinement Calculus. World Congress on Formal Methods (1999)
Marie-Laure Potet, Yann Rouzaud
Composition and Refinement in the B-Method. B (1998)
Yann Rouzaud, Lan Nguyen-Phuong
Integrating Modes and Subtypes into a Prolog Type-Checker. JICSLP (1992)