Ralf Nagel

RN

6

Publications

321

Citations

6

H-Index

1995

Active since

Ralf Nagel is an author at Université de Lorraine specializing in engineering, verification, and program analysis.

Publications per year

1995–2023

6

Publications

6