Results for author 'Reiner Hahnle'

Handbook of Tableau Methods

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Active Object Languages

Current Research Trends