CafeOBJ course at the ESSLLI 2016 2
The European Summer School in Logic, Language and Information ESSLLI is a yearly event that normally brings together several hundred students and teachers for two weeks of courses. Next year’s ESSLLI 2016 will be held in Bozen, Italy. One of the courses will be Algebraic Specification and Verification – an […]