Accurate Theorem Proving for Program Verification

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Cook, B, Kroening, D, Sharygina, N
Μορφή: Conference item
Έκδοση: Springer 2006