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

Re: [Dr. TLA+ Series] Global Snapshot - Rustan Leino

From: Cheng Huang <cheng...@xxxxxxxxx>
Date: Thu, 22 Sep 2016 16:59:38 -0700 (PDT)
References: <0eb2a99a-49e7-4964-b97e-0784ebd9c610@googlegroups.com>

Link to the live broadcast of tomorrow's lecture ...

References:
- [Dr. TLA+ Series] Global Snapshot - Rustan Leino
  - From: Cheng Huang

Prev by Date: Re: TLA+ community event 2016
Next by Date: Standards and TLAPLUS
Previous by thread: [Dr. TLA+ Series] Global Snapshot - Rustan Leino
Next by thread: Standards and TLAPLUS
Index(es):
- Date
- Thread