Yann Rouzaud
According to our database1,
Yann Rouzaud
authored at least 4 papers
between 1984 and 1999.
Collaborative distances:
Collaborative distances:
Timeline
1984
1986
1988
1990
1992
1994
1996
1998
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1999
Proceedings of the FM'99 - Formal Methods, 1999
1998
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.
Proceedings of the Logic Programming, 1992
1984
PhD thesis, 1984