Recommendations for improving the usability of formal methods for product lines. Atlee, J. M., Beidu, S., Day, N. A., Faghih, F., & Shaker, P. In 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), pages 43–49, 2013. IEEE. tex.ids= atleeRecommendationsImprovingUsability2013a
doi  bibtex   
@inproceedings{atlee_recommendations_2013,
	title = {Recommendations for improving the usability of formal methods for product lines},
	doi = {10/ghv4cq},
	booktitle = {2013 1st {FME} {Workshop} on {Formal} {Methods} in {Software} {Engineering} ({FormaliSE})},
	publisher = {IEEE},
	author = {Atlee, Joanne M. and Beidu, Sandy and Day, Nancy A. and Faghih, Fathiyeh and Shaker, Pourya},
	year = {2013},
	note = {tex.ids= atleeRecommendationsImprovingUsability2013a},
	pages = {43--49},
}

Downloads: 0