Document is current
Any future updates will be listed below
-
Authors
Shen, Wei http://orcid.org/0000-0003-0034-9758
An, Jie http://orcid.org/0000-0001-9260-9697
Zhan, Bohua http://orcid.org/0000-0001-5377-9351
Zhang, Miaomiao
Xue, Bai http://orcid.org/0000-0001-9717-846X
Zhan, Naijun http://orcid.org/0000-0003-3298-3817
- License Information
-
More Information
Chapter History
First Online: 19 December 2020
Conference Information
Conference Acronym: ICFEM
Conference Name: International Conference on Formal Engineering Methods
Conference City: Singapore
Conference Country: Singapore
Conference Year: 2020
Conference Start Date: 1 March 2020
Conference End Date: 3 March 2020
Conference Number: 22
Conference ID: icfem2020
Conference URL: https://formal-analysis.com/icfem/2020/
Peer Review Information (provided by the conference organizers)
Type: Single-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 41
Number of Full Papers Accepted: 16
Number of Short Papers Accepted: 4
Acceptance Rate of Full Papers: 39% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.
Average Number of Reviews per Paper: 3
Average Number of Papers per Reviewer: 2
External Reviewers Involved: No
Additional Info on Review Process: 1 Doctoral symposium paper in the back matter
