Stefan Müller Posted on 27.08.2013 by Stefan Müller Slides: Some Remarks on the State of the Field and on Ways to Ensure Progress: Description, Analysis, Formalization, Implementation
