PhD thesis,

A scalable static analysis framework for reliable program development exploiting incrementality and modularity.

.
Technical University of Madrid, Spain, (2021)

Meta data

Tags

Users

  • @dblp

Comments and Reviews