Showing 1 - 5 results of 5 for search 'Bloem, Roderick', query time: 0.03s Narrow Search
  1. 1
    Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
    Published 2013
    Other Authors: “…Bloem, Roderick…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
    Published 2016
    Other Authors: “…Bloem, Roderick…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    Published 2014
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised selected papers
    Published 2022
    Other Authors: “…Bloem, Roderick P.…”
    Click for online access
    eBook
    Save to List
    Saved in:
  5. 5
    Handbook of Model Checking
    Published 2018
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: