Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings Alpuente, María Heftet / 2008 / Engelsk
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings Blume Matthias Heftet / 2010 / Engelsk
