Benutzer: Gast  Login
Autor(en):
Wang, Farn; Cheng, Chih-Hong 
Titel:
Program Repair Suggestions from Graphical State-Transition Specifications 
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