Concepedia

Maria Virginia Aponte

MV

2

Publications

47

Citations

2

H-Index

1990

Active since

Affiliations

Early Manuscripts Electronic Library(Current)

Maria Virginia Aponte is an author at Early Manuscripts Electronic Library specializing in formal methods, engineering, and automated reasoning.

Top concepts

Publications per year

1990–1993

2

Publications

2

The CAML reference manual

Pierre Weis, Maria Virginia Aponte, Alain Laville et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1990 · 35 citations · Full text

, , +5

Extending record typing to type parametric modules with sharing

Maria Virginia Aponte · 1993 · 12 citations

, , +9

Rows per page

1–2 of 2