FormSem05SS: Introduction to CASL, Part 2: Structured Specifications and Libraries

Project Seminar Formal Methods in Computer Science (SS 2005)

This resource should appear in a popup window.
If it didn't, click here: Introduction to CASL, Part 2: Structured Specifications and Libraries