Search Results - Holzmann, G. J.

  • Showing 1 - 1 results of 1
Refine Results
  1. Validation of a microkernel : a case study by De Villiers, Pieter Jan Albertus

    Published 2012
    Other Authors: “…Holzmann, G. J.…”
    Get full text
    Thesis