This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, sem...
This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, sem...
This book constitutes the refereed proceedings of the 19th International Conference on Verificati...
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday,...
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday,...
This book constitutes the refereed proceedings of the 19th International Conference on Verificati...