Separation Logic for High-level Synthesis
Publisher: Springer
Published: Feb 28, 2017
Format: hardcover
Number of pages: 132
ISBN-13: 9783319532219
Notes: Source title: Separation Logic for High-level Synthesis (Springer Theses)