@inproceedings{inproceedings47c6240a,
title   = {On the testability of properties patterns},
author = {Hanazumi, Simone and Melo, Ana Cristina Vieira de},
year = {2015},
doi = {10.1007/978-3-319-22969-0_11},
publisher = {Springer},
booktitle   = {International Conference on Software Engineering and Formal Methods - SEFM}
}