Specifying and Model Checking Workflows of Single Page Applications with TLA+

Konferenzbeitrag › Konferenzpaper › 2020

Zitation

Zhang, Gefei: Specifying and Model Checking Workflows of Single Page Applications with TLA+. In: IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C). Hg. von IEEE. Macau: 2020, S. 406--410.

ISBN

978-1-7281-8915-4

Link

https://ieeexplore.ieee.org/document/9282624

Zitieren

BibTeX / RIS