Verification and Testing of S-ER Representations.

Antnio L. Furtado, Paulo A. S. Veloso, Jos Mauro Volkmer de Castilho

Browse the full ER paper archive.