jpf−concurrent: an extension of Java PathFinder for java.util.concurrent

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Ujma, M, Shafiei, N
Μορφή: Conference item
Έκδοση: 2011