Hi Phil, sorry for the confusion.The paper is actually available on-line for free here: http://hal.inria.fr/hal-00759030/ My bad.
Enjoy! On Apr 15, 2013, at 9:47 AM, [email protected] wrote: > Preprint would be welcome over here as well :-) > > > 2013/4/15 Johan Fabry <[email protected]> > 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 and itsadvantages.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
