Jo�o M. Fernandes, Ralf L�mmel, Joost Visser, Jo�o Saraiva
Generative and Transformational Techniques in Software Engineering III
- 2011
978-3-642-18023-1
Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Techniques Software Engineering Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Computer Science