Recent Trends in Algebraic Development Techniques: 18th International Workshop, Wadt 2006, La Roche En Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers (Lecture Notes in Computer Science)
Recent Trends in Algebraic Development Techniques: 18th International Workshop, Wadt 2006, La Roche En Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers (Lecture Notes in Computer Science)
読み込み中…
