Logic-based techniques for program analysis and specification synthesis

Aquesta tesi apareix a les col·leccions següents