cofi-semantics Mail Archive Threads 2002
Thread index
Last updated: Wed Jul 16 23:15:09 2003
3 messages
New document on semantics of CASL v1.0.1 basic specifications,
Don Sannella
CASL Proof calculus,
Till Mossakowski
Proposed final adjustments for CASL semantics,
Till Mossakowski
Mail converted by MHonArc 2.4.6