External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On the significance of contract-based typestate specification

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]

Authors

Syeda Khairunnesa Samantha

This author has not been identified. Look up 'Syeda Khairunnesa Samantha' in Google

Hoan Anh Nguyen

This author has not been identified. Look up 'Hoan Anh Nguyen' in Google

Hridesh Rajan

This author has not been identified. Look up 'Hridesh Rajan' in Google
runs on