![](/img/cover-not-exists.png)
[IEEE 2020 IEEE Workshop on Formal Requirements (FORMREQ) - Zurich, Switzerland (2020.8.31-2020.9.4)] 2020 IEEE Workshop on Formal Requirements (FORMREQ) - SpecEdit: Projectional Editing for TLA+ Specifications
Cuinat, Riwan, Teodorov, Ciprian, Champeau, JoelYear:
2020
DOI:
10.1109/formreq51202.2020.00008
File:
PDF, 518 KB
2020