Statistics
Publications
2
Citations
45
H-Index
2
Active since
2005
Affiliations
Mariela Pavlova is an author at Institut national de recherche en sciences et technologies du numérique specializing in programming languages, deductive verification, and computing.
Publications per year
2005–2006
2
2
Java bytecode specification and verification
Lilian Burdy, Mariela Pavlova · 2006 · 23 citations
1–2 of 2