Login
- Titel:
Program Repair Suggestions from Graphical State-Transition Specifications
- Autor(en):
- Wang, Farn; Cheng, Chih-Hong
- Stichworte:
- external
- Kongress- / Buchtitel:
- 28th IFIP WG 6.1 International Conference in Formal Techniques for Networked and Distributed Systems (FORTE)
- Band / Teilband / Volume:
- 5048
- Verlag / Institution:
- Springer
- Jahr:
- 2008
- Seiten:
- 185--200
- Serientitel:
- Lecture Notes in Computer Science
- Volltext / DOI:
- doi:10.1007/978-3-540-68855-6_12
BibTeX