É. Laugerotte

ÉL

1

Publications

33

Citations

1

H-Index

2001

Active since

É. Laugerotte is an author specializing in formal methods, automated reasoning, and computer science.

Publications per year

2001–2001

1

Publications

1