Formal Methods and Customized Visualization: A Fruitful Symbiosis.
Tiziana Margaria, Volker Braun
VenueATACAS
Year1998
ProceedingsServices and Visualization: Towards User-Friendly Design
DBLP recordconf/tacas/MargariaB98 ↗
Browse the full TACAS paper archive.