Validating ESL Implementations Against Their Formal Specifications

@inproceedings{pub7394,
    author = {

Stoppe, Jannis Ulrich
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Validating ESL Implementations Against Their Formal Specifications},
    booktitle = {Symposium on Integrated Circuits and Systems Design - Proceedings. Symposium on Integrated Circuits and Systems Design (SBCCI-14), 27th, September 1-5, Aracaju, Brazil},
    year = {2014}
}