Rewriting Logic and Its Applications
2 contributors - Paperback
£44.99
Logic-Based Program Synthesis and Transformation
£49.99
Subscribe to our newsletter, and stay in the loop: