A Simple Refinement Language for Casl

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31959-7_10 ◽

2005 ◽

pp. 162-185 ◽

Cited By ~ 9

Author(s):

Till Mossakowski ◽

Donald Sannella ◽

Andrzej Tarlecki

Download Full-text