Higher-order Automation in TLAPS - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Dates et versions

hal-02990614 , version 1 (15-12-2020)

Identifiants

  • HAL Id : hal-02990614 , version 1

Citer

Antoine Defourné, Petar Vukmirovic. Higher-order Automation in TLAPS. TLA+ Community Event 2020, Oct 2020, Virtual, France. ⟨hal-02990614⟩
84 Consultations
124 Téléchargements

Partager

More