Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Separation Logic for High-level Synthesis

Part of the Springer Theses Book Series
DOI: 10.1007/978-3-319-53222-6
ISBN: 978-3-319-53221-9
Publisher: Springer International Publishing - Springer Journals
Feb 28, 2017

1 - 6 of 6 Chapters