[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Material on algebraic specification

Dear all,

Markus Roggenbach and I plan to give a lecture on algebraic specification
with strong connections in CASL in autumn 1999.

Do you have material (scripts, slides) that could help us
in our preparation?

Greetings,
Till

[Moderator's note: there is a repository of formal methods education
resources at
	http://www.cs.indiana.edu/formal-methods-education/
but I see nothing on algebraic specification there.  People who have
suitable material should consider putting a pointer to it there.]