Michael F. Dossis. Formal Methods in High-Level and System Synthesis. In Ioannis Anagnostopoulos, Mária Bieliková, Phivos Mylonas, Nicolas Tsapatsoulis, editors, Semantic Hyper/Multimedia Adaptation - Schemes and Applications. Volume 418 of Studies in Computational Intelligence, pages 23-81, Springer, 2013. [doi]
Abstract is missing.