Software Engineering and Formal Methods: 20th International Conference, SEFM …
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. Th…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17108-6
- Collation
- xvii, 369p.: Ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Sof
Search Result
Found 1 from your keywords: Author : "Chai, Ming"
Query took 0.00086 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography