Ph.D. thesis: Symbolic shape analysis

Research output: Book/ReportOther report

Original languageEnglish (US)
Place of PublicationFreiburg, Germany
PublisherFreiburg University
StatePublished - Jan 2009

Cite this

Wies, T. (2009). Ph.D. thesis: Symbolic shape analysis. Freiburg University.