Publication
Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
Oliver Keszöcze; Robert Wille
In: Frank Oppenheimer; Julio Luis Medina Pasaje. Languages, Design Methods, and Tools for Electronic System Design. Pages 101-112, Springer, 2016.