Visualisation of Executable Formal Specifications for User Validation.
Mehmet Blent zcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi
VenueATACAS
Year1998
ProceedingsServices and Visualization: Towards User-Friendly Design
DBLP recordconf/tacas/OzcanPMS98 ↗
Browse the full TACAS paper archive.