Martina Seidl

• UML @ Classroom: An Introduction to Object-Oriented Modeling (Undergraduate Topics in Computer Science)
• Theory and Applications of Satisfiability Testing – SAT 2020
• Software Technologies : Applications and Foundations
• Tests and Proofs
• UML @ Classroom