Showing 1 - 2 results of 2 for search 'Botinčan, M', query time: 0.02s Refine Results
  1. 1
    jStar−eclipse: an IDE for automated verification of Java programs

    jStar−eclipse: an IDE for automated verification of Java programs by Naudziuniene, D, Botincan, M, Distefano, D, Dodds, M, Grigore, R, Parkinson, M

    Published 2011
    Conference item
  2. 2
    coreStar: the Core of jStar

    coreStar: the Core of jStar by Botinčan, M, Distefano, D, Dodds, M, Grigore, R, ̄unieṅNaudžie, D, Parkinson, M

    Published 2011
    Conference item

Search Tools: