Doni Pracner, Zoran Budimac. Transforming Low-level Languages Using FermaT and WSL. In Zoran Budimac, editor, Proceedings of the 2nd Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Novi Sad, Serbia, September 15-17, 2013. Volume 1053 of CEUR Workshop Proceedings, pages 71-78, CEUR-WS.org, 2013. [doi]
Abstract is missing.