Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Book and Conference Proceedings
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Book and Conference Proceedings
7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
Book and Conference Proceedings
6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings