WScT
From Termination-Portal.org
Revision as of 12:52, 31 March 2008 by J.waldmann (talk | contribs) (New page: A special topic in termination is automatic verification of termination proofs. Upcoming events: * May 17 - 19, 2008 in Leipzig, Germany: WScT08 Previous events: * [http://color.lor...)
A special topic in termination is automatic verification of termination proofs.
Upcoming events:
- May 17 - 19, 2008 in Leipzig, Germany: WScT08
Previous events:
Resources: