Statistics
Publications
1
Citations
82
H-Index
1
Active since
1992
Anne Rasse is an author specializing in computer engineering, compilers, and formal methods.
Publications per year
1992–1992
1
1
A toolbox for the verification of LOTOS programs
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier et al. · 1992 · 82 citations
1–1 of 1