Chapter
Formal Methods and Software Engineering, 2008, Volume 5256
ISBN : 978-3-540-88193-3
Article
Journal: IEEE Transactions on Software Engineering, 2013, Volume 39, Number 7, Page 1018
DOI: 10.1109/TSE.2012.82
Read OnlineConference Paper
Conference: Proceedings of the 33rd International Conference on Software Engineering, Year: 2011, Page 1185
Read OnlineArticle
Journal: International Journal on Software Tools for Technology Transfer, 2022, Volume 24, Number 2, Page 287
DOI: 10.1007/s10009-022-00648-0
Read OnlineArticle
Journal: International Journal on Software Tools for Technology Transfer, 2019, Volume 21, Number 5, Page 567
DOI: 10.1007/s10009-019-00516-4
Read OnlineConference Paper
Conference: 2016 International Conference on Control, Instrumentation, Communication and Computational Technologies (ICCICCT), Year: 2016, Page 615
DOI: 10.1109/ICCICCT.2016.7988024
Read Online