K., J., Tucker, J. V. & Wang, V., 8 Dec 2017, (Early online) Recent Trends in Algebraic Development Techniques.Springer, p. 13-3523 p. (Lecture Notes in Computer Science (LNCS); vol. 10644).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution