Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision

@inbook{pub8459,
    author = {

Keszöcze, Oliver
 and 

Wille, Robert
},
    editor = {

Oppenheimer, Frank
 and 

Pasaje, Julio Luis Medina
},
    title = {Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision},
    booktitle = {Languages, Design Methods, and Tools for Electronic System Design},
    year = {2016},
    pages = {101--112},
    publisher = {Springer}
}