skip to main content
Show Results with:

Separation logic for high-level synthesis.

Felix Winterstein, author.

[Great Britain] : Imperial College London, 2016.

Online access

 2 related resources

Searching Remote Databases, Please Wait