Search Results - De Villiers, Pieter Jan Albertus

  • Showing 1 - 2 results of 2
Refine Results
  1. Cover Image

    Validation of a microkernel : a case study by De Villiers, Pieter Jan Albertus

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    The language approach to the development of reliable concurrent programs by De Villiers, Pieter Jan Albertus

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: