Theory and Applications of Satisfiability Testing – SAT 2020Luca Pulina, Martina Seidl · First published 2020Open the Tome
Software Technologies : Applications and FoundationsMartina Seidl, Steffen Zschaler · First published 2018Open the Tome
UML @ ClassroomMartina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel · First published 2015Open the Tome
