The role of model checking in software engineering
Crossref DOI link: https://doi.org/10.1007/s11704-016-6192-0
Published Online: 2018-04-27
Published Print: 2018-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Karna, Anil Kumar
Chen, Yuting
Yu, Haibo
Zhong, Hao
Zhao, Jianjun
Text and Data Mining valid from 2018-04-27
Article History
Received: 31 March 2016
Accepted: 8 December 2016
First Online: 27 April 2018