Mostra 1 - 1 risultati di 1 ricerca 'Dykstra, Josiah', tempo di risposta: 0,01s
Raffina i risultati
-
1
Software verification and validation with destiny a parallel approach to automated theorem proving. di Dykstra, Josiah
Pubblicato in Crossroads : the ACM student magazine.Collocazione: loading...
Localizzazione: loading...Articolo loading...