Yann Rouzaud

According to our database¹, Yann Rouzaud authored at least 4 papers between 1984 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

Interpreting the B-Method in the Refinement Calculus.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

Composition and Refinement in the B-Method.

[BibT_eX]

[DOI]

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1992

Integrating Modes and Subtypes into a Prolog Type-Checker.

[BibT_eX]

Proceedings of the Logic Programming, 1992

1984

Représentation et manipulation de programmes dans un atelier de génie logiciel.

[BibT_eX]

[DOI]

PhD thesis, 1984