Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of (Paperback, 2012)
Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Softwa (Paperback)
