SpecHere we gather discussions and information about Spec |
||
First version of the paper
http://hal.inria.fr/index.php?halsid=91cedssa56ro5s3iqaqmk67kf6&view_this_doc=hal-00759030&version=1
Spec tech report (out dated)
http://hal.inria.fr/index.php?halsid=91cedssa56ro5s3iqaqmk67kf6&view_this_doc=hal-00708067&version=1
30' video - How to build a Class browser and a Serders/Implementors
https://dl.dropboxusercontent.com/u/24369478/Spec.m4v |
Powered by FogBugz