Design and verification oriented microprogram transformations

• Authors:

• Piotr Dembinski

• Affiliations:

• Polish Academy of Sciences, Warsaw, Poland

• Venue:
• Proc. IFIP working conference on Programming Languages and System Design
• Year:
• 1983