Automatic Error Location for IN Service Definition.
Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo
VenueATACAS
Year1998
ProceedingsServices and Visualization: Towards User-Friendly Design
DBLP recordconf/tacas/BraunMSY98 ↗
Browse the full TACAS paper archive.