Showing 1 - 1 results of 1 for search 'Naudziuniene, D', query time: 0.03s
Refine Results
-
1
jStar−eclipse: an IDE for automated verification of Java programs by Naudziuniene, D, Botincan, M, Distefano, D, Dodds, M, Grigore, R, Parkinson, M
Published 2011Conference item