PhD thesis,

New techniques for abstraction refinement.

.
University of Freiburg, Freiburg im Breisgau, Germany, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews