Institute for Software TechnologyFakultät für InformatikUniversität der Bundeswehr München
Full Address: 85577 Neubiberg, GermanyPhone: +49-170-7-361626eMail: Gunther.Schmidt@UniBw.DE
 

Bibliography

 

Research Interests

  • Formal Methods in Software Engineering
  • Semantics of Programming Languages
  • Relational Methods in Computer Science
  • Graph Theory in Computer Science
  • Relational Mathematics
  • Member of the Editorial Board of the
    Electronic Journal on Relational Methods
    in Computer Science - JoRMiCS