L. Levrat

LL

Statistics

Publications

1

Citations

43

H-Index

1

Active since

1997

L. Levrat is an author at Centre National de la Recherche Scientifique specializing in program analysis, formal verification, and system software.

Publications per year

1997–1997

1

Publications

1