[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Why Amazon Chose TLA+

I’d love a copy….


Steve Glaser

On Jun 12, 2014, at 12:50 PM, Chris Newcombe <chris.n...@xxxxxxxxx> wrote:

The following paper was presented at ABZ'2014 last week, and is now available in the conference proceedings:

               Newcombe, C.,  Why Amazon Chose TLA+,  in  Abstract State Machines, Alloy, B, TLA, VDM, and Z Lecture Notes in Computer Science Volume 8477, 2014, pp 25-39;

I'm happy to provide copies privately on request.

The above is a partner to our other paper, "Use of Formal Methods at Amazon Web Services", which is currently available via the TLA+ home page.  See earlier post: https://groups.google.com/d/msg/tlaplus/bPlvP1V5hyk/0xPGIrpb7wUJ


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at http://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.