Showing 1 - 2 results of 2 for search 'Piskac, Ruzica', query time: 0.02s Refine Results
  1. 1
    Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings /
    Published 2019
    Other Authors: “…Piskac, Ruzica…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    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…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search