Executing Formal Specifications: The ASTRAL to TRIO Translation Approach.
Carlo Ghezzi, Richard A. Kennerer
VenueAISSTA
Year1991
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/GhezziK91 ↗
Browse the full ISSTA paper archive.