Jean-René Beauvais
According to our database1,
Jean-René Beauvais
authored at least 3 papers
between 1998 and 2001.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2001
ACM Trans. Softw. Eng. Methodol., 2001
1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998