![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AntoineDefourne-Higher-orderAutomationInTLAPS.srt | 2020-10-08 20:54 | 16K | |
| CatalinMarinas-CacheSpec.srt | 2020-10-08 20:54 | 29K | |
| HebaAlkayed-DistributedPlusCal.srt | 2020-10-08 20:54 | 15K | |
| JesseDavis-eXtremeModellingInPractice.srt | 2020-10-08 20:54 | 30K | |
| JordanHalterman-BridgingTheVerifiabilityGap.srt | 2020-10-13 01:02 | 24K | |
| KukovecKonnov-TypeInferenceForTLA.srt | 2020-10-08 20:54 | 64K | |
| KupriyanovKonnov-ModelBasedTestingWithTLAAndApalache.srt | 2020-10-08 20:54 | 42K | |
| PadhyStubbsAbacoTLATalkDISC2020.srt | 2020-10-08 20:54 | 37K | |
| RonPressler-ConjunctionCapers.srt | 2020-10-08 20:54 | 40K | |
| TLASpecificationOfPCRParallelProgrammingPattern-SolsonaYovine.srt | 2020-10-08 20:54 | 32K | |
| TomekMasternak-CheckingSafetyInExactlyOnce.srt | 2020-10-08 20:54 | 35K | |