Search results for: H. Langmaack
Lecture Notes in Computer Science > Logics of Programs > 129-146
Lecture Notes in Computer Science
Fundamenta Informaticae > 2013 > Vol. 122, nr 3 > 227--274
Fundamenta Informaticae > 2008 > Vol. 85, nr 1-4 > 343-357