Symbolic analysis for program comprehension – kirja

Tietoa väitöksestä täällä.