LIBRARY Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings 2019 · ENGLISH · PDF View details →
LIBRARY Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures 2009 · ENGLISH · PDF View details →
LIBRARY Parallel Computation: First International ACPC Conference Salzburg, Austria, September 30 – October 2, 1991 Proceedings 1992 · ENGLISH · DJVU View details →
LIBRARY Advanced Functional Programming: 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures 2009 · ENGLISH · PDF View details →