1 paper · 1 filter
Robert Urbanczik
The article is a lightly edited version of my habilitation thesis at the University Wuerzburg. My aim is to give a self contained, if concise, introduction to the formal methods us…