Books by Ruzica Piskac
Total count: 2
Verified Software. Theories, Tools, and Experiments10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected PapersSpringer2018-11-24
Verification, Model Checking, and Abstract Interpretation20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, ProceedingsSpringer2019-01-11