Martina Seidl

Theory and Applications of Satisfiability Testing – SAT 2020

2020

Software Technologies : Applications and Foundations

2018

UML @ Classroom

UML @ Classroom

2015

UML @ Classroom: An Introduction to Object-Oriented Modeling (Undergraduate Topics in Computer Science)

2015