Formal Methods : Foundations and ApplicationsGustavo Carvalho, Volker Stolz · First published 2020Open the Tome
Theoretical Aspects of Computing - ICTAC 2020Violet Kai I. Pun, Volker Stolz, Adenilso Simão · First published 2020Open the Tome
Advances in Service-Oriented and Cloud ComputingZoltán Ádám Mann, Volker Stolz · First published 2018Open the Tome
FreipassVolker Neuhaus, Per Øhrgaard, Jörg-Philipp Thomsa, Dieter Stolz · First published 2015Open the Tome
