Narrow results

• Matter Matter
  • Informatik (1)
• Subject Subject
  • 2013 (1)
  • Formale Methode (1)
  • Konferenzschrift (1)
  • Model Checking (1)
  • Nebenläufigkeit (1)
  • Programmanalyse (1)
  • Display more …
• Subject chain Subject chain
  • Programmiersprache /… (1)
  • Programmverifikation… (1)
• Language Language
  • Englisch (1)
• Document type Document type
  • Aufsatzsammlung (1)
  • Begrenzte Elektronis… (1)
  • Computerdatei (1)
  • E-Book (1)
  • Elektronische Ressource (1)
  • Konferenzschrift (1)
  • Display more …
• Author Author
  • Felleisen, Matthias (1)