Further processing options

Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Modeling and Specification -- Model Checking -- Specification and Verification -- Testing and Formal Verification. .

Bibliographic Details
Authors and Corporations: Xue, Jinyun (Editor), Nagoya, Fumiko (Editor), Liu, Shaoying (Editor), Duan, Zhenhua (Editor)
Other Authors: Xue, Jinyun (HerausgeberIn) , Nagoya, Fumiko (HerausgeberIn) , Liu, Shaoying (HerausgeberIn) , Duan, Zhenhua (HerausgeberIn)
Edition: 1st ed. 2021.
Type of Resource: E-Book
Language: English
published:
Cham Springer International Publishing 2021.
Cham Imprint: Springer 2021.
Series: Theoretical Computer Science and General Issues
Springer eBook Collection
Subjects:
Source: Verbunddaten SWB
ISBN: 9783030774745
3030774740