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, phil@highoctane.be wrote:
Preprint would be welcome over here as well :-)
2013/4/15 Johan Fabry <jfabry@dcc.uchile.cl> 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