selected publications

• conference paper

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