To amend my last statement, the link that Ben sent, to the first paper is the same published paper I am talking about, so you can freely get it there :-)
On Apr 15, 2013, at 9:02 AM, Johan Fabry <[email protected]> wrote: > Hi Kenneth, > > there is some literature on Spec that might help you out. > > - The tech report serves as a 'getting started' > http://hal.inria.fr/docs/00/70/80/67/PDF/SpecTechReport.pdf > - Also, we published a paper that talks more about the motivations behind > spec anditsadvantages.http://dl.acm.org/citation.cfm?doid=2448963.2448965 I > can send you a preprint in a direct message if you are unable to download it. > > Greetings, ---> Save our in-boxes! http://emailcharter.org <--- Johan Fabry - http://pleiad.cl/~jfabry PLEIAD lab - Computer Science Department (DCC) - University of Chile
