Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers /

Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers /

Saved in:

Bibliographic Details
Meeting name:	SOFL+MSVL (Workshop) (9th : 2019 : Shenzhen, China)
Imprint:	Cham : Springer, 2020.
Description:	1 online resource (366 pages)
Language:	English
Series:	Lecture Notes in Computer Science ; 12028 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 12028. LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject:	Formal methods (Computer science) -- Congresses. Object-oriented methods (Computer science) -- Congresses. Formal methods (Computer science) Object-oriented methods (Computer science) Electronic books. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/12603882

Hidden Bibliographic Details
Varying Form of Title:	SOFL+MSVL 2019
Other authors / contributors:	Miao, Huaikou, 1953- Tian, Cong. Liu, Shaoying, 1960- Duan, Zhenhua.
ISBN:	9783030414184 3030414183 9783030414177
Notes:	4.2 Protocol Modeling and Specification Description Includes author index. Print version record.
Summary:	This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.
Other form:	Print version: Miao, Huaikou. Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Cham : Springer International Publishing AG, ©2020 9783030414177
Standard no.:	10.1007/978-3-030-41

Description
Summary:	This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.
Item Description:	4.2 Protocol Modeling and Specification Description Includes author index.
Physical Description:	1 online resource (366 pages)
ISBN:	9783030414184 3030414183 9783030414177