Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems.
VenueAISSTA
Year1989
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/Gerhart89 ↗
Browse the full ISSTA paper archive.
Browse the full ISSTA paper archive.