Abstract Certification of Java Programs in Rewriting Logic

Aquesta tesi apareix a les col·leccions següents