Michael F. Dossis. Using an XML schema to validate a formal hardware compiler. In Nicolas Tsapatsoulis, Zenonas Theodosiou, Olga Georgiou, editors, 5th International Workshop on Semantic Media Adaptation and Personalization, SMAP 2010, Limassol, Cyprus, December 9-10, 2010. pages 90-97, IEEE, 2010. [doi]
Abstract is missing.