Mostra 1 - 1 risultati di 1 ricerca 'Cook, Byron', tempo di risposta: 0,03s Raffina i risultati
1
Verification, Model Checking, and Abstract Interpretation
di Cook, Byron, Podelski, Andreas
Pubblicazione 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email