Syeda Khairunnesa Samantha, Hoan Anh Nguyen, Hridesh Rajan. On the significance of contract-based typestate specification. In Robert Dyer 0001, Vasant G. Honavar, Gary T. Leavens, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan, editors, Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI@ESEC/SIGSOFT FSE, Lake Buena Vista, FL, USA, November 9, 2018. pages 13-14, ACM, 2018. [doi]
@inproceedings{SamanthaNR18,
title = {On the significance of contract-based typestate specification},
author = {Syeda Khairunnesa Samantha and Hoan Anh Nguyen and Hridesh Rajan},
year = {2018},
doi = {10.1145/3278177.3278181},
url = {https://doi.org/10.1145/3278177.3278181},
researchr = {https://researchr.org/publication/SamanthaNR18},
cites = {0},
citedby = {0},
pages = {13-14},
booktitle = {Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI@ESEC/SIGSOFT FSE, Lake Buena Vista, FL, USA, November 9, 2018},
editor = {Robert Dyer 0001 and Vasant G. Honavar and Gary T. Leavens and Hoan Anh Nguyen and Tien N. Nguyen and Hridesh Rajan},
publisher = {ACM},
isbn = {978-1-4503-6057-9},
}