MPG.eBooks - Author Search Results

Cover Image

1

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

by Piskac, Ruzica
Published 2021

TU Wien Academic Press

Other Authors: “...Piskac, Ruzica...”

Cover Image

2

Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Published 2018

Springer International Publishing

Other Authors: “...Piskac, Ruzica...”

Cover Image

3

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Published 2019

Springer International Publishing

Other Authors: “...Piskac, Ruzica...”