Verification of microprogrammed computer architectures in the S*-system: a case study Conference Paper uri icon

publication date

  • December 1, 1985

published in

  •   Geographic Location