Rule-Based Software Verification and Correction.

Aquesta tesi apareix a les col·leccions següents