
Martin Leucker

Sie vermissen als Autor:in Ihre Personenangaben? Dann klicken Sie hier!
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
2018eBookSpringer International Publishing
Leucker / Rueda / Valencia
Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
2015eBookSpringer International Publishing