selected publications

• conference paper

  • Verification of microprogrammed computer architectures in the S*-system: a case study 1985