Bernard Berthomieu

Bernard Berthomieu is an author at Centre National de la Recherche Scientifique specializing in computing, computer science, and formal methods.

Publications per year

1978–2019

12

Publications

12