Separation Logic for High-level Synthesis
Publisher: Springer
Published: Jul 20, 2018
Format: paperback
Number of pages: 152
ISBN-13: 9783319850948
Notes: Source title: Separation Logic for High-level Synthesis (Springer Theses)