Näytetään 1 - 1 yhteensä 1 tuloksesta haulle 'Kulczycki, Gregory', hakuaika: 0,01s Tarkenna hakua
  1. 1

    A specification-based approach to reasoning about pointers. Tekijä Kulczycki, Gregory

    Artikkeli

    A specification-based approach to reasoning about pointers.

Työkalut: