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]
Abstract is missing.