Skip to content
WIN-SE

WIN-SE

Institut für Wirtschaftsinformatik – Software Engineering

Menu

  • Home
  • People
  • Research
  • Publications
  • Education
  • News
  • Contact
  • JKU

Education

Offered CoursesCurrent CoursesBacc TopicsMaster TopicsCompleted Master Theses

2018
Completed Master Thesis
look at ePUB
Theorem Proving at Work

Copyright © 2025 WIN-SE. All rights reserved. Theme Spacious by ThemeGrill. Powered by: WordPress.