resources

This is an old revision of the document!

Resources

Sample reports:

ArrayADT
TupleADT
Example of design document describing a XML translation system built based on this sepcification
Documentation of the proof

Eiffel:

Useful Links.

LINKED_LIST description

resources.1348001076.txt.gz · Last modified: 2012/09/18 20:44 by pawluk