Necco, C. M. (2017). Computer Aided Verification of Relational Models by Strategic Rewriting. Universidad Nacional de La Plata.
Chicago-Zitierstil (17. Ausg.)Necco, Claudia M. Computer Aided Verification of Relational Models by Strategic Rewriting. Universidad Nacional de La Plata, 2017.
MLA-Zitierstil (9. Ausg.)Necco, Claudia M. Computer Aided Verification of Relational Models by Strategic Rewriting. Universidad Nacional de La Plata, 2017.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.