Treffer 1 - 1 von 1 für Suche 'Dykstra, Josiah', Suchdauer: 0,01s
Treffer weiter einschränken
-
1
Software verification and validation with destiny a parallel approach to automated theorem proving. von Dykstra, Josiah
Veröffentlicht in Crossroads : the ACM student magazine.Signatur: loading...
Standort: loading...Artikel loading...