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

publication date

  • December 1, 1985

start page

  • 61

end page

  • 73

volume

  • 16

issue

  • 4