[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: tlaplus response
- From: Leslie Lamport <tlapl...@xxxxxxxxx>
- Date: Sun, 11 Aug 2013 19:08:50 -0700 (PDT)
- Cc: sing...@xxxxxxxxx
- References: <CAA+Jmbs0w-HTiAq+=XSu1X0Ef5SKerFz5LzQ=A7TqG23pMP_WQ@mail.gmail.com>
Dear Mr. Singh,
Thank you for your interest. I will contact you privately to see if something can be arranged.
On Sunday, August 11, 2013 4:17:24 AM UTC-8, Neha Singh wrote:
I am a B.Tech 4th year student of JIIT Noida Sec-62.
I have studied about the tla toolbox and i am interested in creating a
new application with tla or modifying the tla tool.
I know that all the formal methods have been completed.
So can you please guide me that what new creation i can do with tla.
I will be Thankful to you.
Thanks & Regards,