Showing 1 - 3 results of 3 for search 'Ostroff, J', query time: 0.02s Refine Results
  1. 1
    Automated Model−based Verification of Object−Oriented Code

    Automated Model−based Verification of Object−Oriented Code by Ostroff, J, Wang, C, Kerfoot, E, Torshizi, F

    Published 2006
    Conference item
  2. 2
    Automated Model−Based Verification of Object−Oriented Code

    Automated Model−Based Verification of Object−Oriented Code by Ostroff, J, Wang, C, Kerfoot, E, Torshizi, F

    Published 2006
    Conference item
  3. 3
    ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code

    ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code by Ostroff, J, Wang, C, Kerfoot, E, Torshizi, F

    Published 2015
    Conference item

Search Tools: