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. .

Saved in:

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:	Software engineering. Architecture, Computer. Computer logic. Mathematical logic. Microprogramming . Artificial intelligence. Software engineering. Architecture, Computer. Computer logic. Mathematical logic. Microprogramming . Artificial intelligence.
Source:	Verbunddaten SWB
ISBN:	9783030774745 3030774740