- Record: found
- Abstract: not found
- Book Chapter: not found
Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
A Formal Approach to Error Localization and Correction in Service Compositions
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references11
- Record: found
- Abstract: not found
- Book: not found
Predicate Calculus and Program Semantics
Edsger W. Dijkstra, Carel Scholten (1990)
- Record: found
- Abstract: not found
- Book Chapter: not found
InvGen: An Efficient Invariant Generator
Ashutosh Gupta, Andrey Rybalchenko (2009)
- Record: found
- Abstract: not found
- Book Chapter: not found
Yesterday, my Program Worked. Today, it Does Not. Why?
Andreas Zeller (1999)