1.
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Pre...
by Carvalho, Gustavo, Stolz, V...
ISBN: 9783030638818
2.
Theoretical Aspects of Computing - ICTAC 2020 : 17th International Colloquium, Macau, China,...
by Pun, Violet Kai I., Stolz, ...
ISBN: 9783030642754
3.
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2017, Oslo, Norway, Sep...
by Mann, Zolt�n �d�m, Stolz, V...
ISBN: 9783319790893
List Price: $72.00
4.
Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 2...
by Dang, Thao, Stolz, Volker
ISBN: 9783031171956