Toon 1 - 1 resultaten van 1 Voor zoekopdracht 'Kulczycki, Gregory', zoektijd: 0,01s Verfijn jouw resultaten
  1. 1

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

    Gepubliceerd in Software engineering notes.
    Artikel

    A specification-based approach to reasoning about pointers.

Zoekinstrumenten: