Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler [chapter]

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier
2015 Lecture Notes in Computer Science  
doi:10.1007/978-3-319-19195-9_5 fatcat:pkj23cfrxnbjddr7mp52tk34vq