Specification and refinement of a buffer of length one

  • Authors:

  • Manfred Broy

  • Affiliations:

  • -

  • Venue:
  • Proceedings of the NATO Advanced Study Institute on Deductive program design
  • Year:
  • 1996

  • Idel Stream Algebra

    Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Quantified Score

Hi-index 0.00

Visualization

Abstract