Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives

• Authors:

• Jörg Bormann;H. Nusser-Wehlan;Gerd Venzl

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits
• Year:
• 1992