Showing 1 - 2 results of 2 for search 'Piskac, Ruzica', query time: 0.01s Narrow Search
  1. 1
    Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
    Published 2018
    Other Authors: “…Piskac, Ruzica…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
    Published 2019
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: