Concepedia

Jean-Paul Routeau

JR

1

Publications

15

Citations

1

H-Index

1979

Active since

Affiliations

Université de Rennes(Current)

Jean-Paul Routeau is an author at Université de Rennes specializing in automated reasoning, formal verification, and formal methods.

Top concepts

Publications per year

1979–1979

1

Publications

1

An event-driven compiling technique

J. P. Banâtre, Jean-Paul Routeau, Laurent Trilling · Communications of the ACM · 1979 · 15 citations · Full text

, , +19

Rows per page

1–1 of 1