Näytetään 1 - 1 yhteensä 1 tuloksesta haulle 'Dykstra, Josiah', hakuaika: 0,01s
Tarkenna hakua
-
1
Software verification and validation with destiny a parallel approach to automated theorem proving. Tekijä Dykstra, Josiah
Julkaisussa Crossroads : the ACM student magazine.Hyllypaikka: loading...
Sijainti: loading...Artikkeli loading...