Login
- Author(s):
- Wang, Farn; Cheng, Chih-Hong
- Title:
- Program Repair Suggestions from Graphical State-Transition Specifications
- Keywords:
- external
- Book / Congress title:
- 28th IFIP WG 6.1 International Conference in Formal Techniques for Networked and Distributed Systems (FORTE)
- Volume:
- 5048
- Publisher:
- Springer
- Year:
- 2008
- Pages:
- 185--200
- Bookseries title:
- Lecture Notes in Computer Science
- Fulltext / DOI:
- doi:10.1007/978-3-540-68855-6_12
BibTeX