1 - 1 toradh á dtaispeáint as 1 toradh san iomlán ar an gcuardach 'Dykstra, Josiah', am iarratais: 0.01s Beachtaigh na torthaí
  1. 1

    Software verification and validation with destiny a parallel approach to automated theorem proving. de réir Dykstra, Josiah

    Alt

    Software verification and validation with destiny a parallel approach to automated theorem proving.

Uirlisí cuardaigh: