'Ostroff, J' хайлтад зориулсан 3-н үр дүнгүүд 1 - 3-г харуулж байна, асуулгын хугацаа: 0.02s Үр дүнг сайжруулах
  1. 1
    Automated Model−based Verification of Object−Oriented Code

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

    Хэвлэсэн 2006
    Conference item
  2. 2
    Automated Model−Based Verification of Object−Oriented Code

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

    Хэвлэсэн 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 -н Ostroff, J, Wang, C, Kerfoot, E, Torshizi, F

    Хэвлэсэн 2015
    Conference item

Хайх хэрэгслүүд: