Formal Methods versus Software Engineering: Is There a Conflict?
VenueAISSTA
Year1991
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/Young91 ↗
Browse the full ISSTA paper archive.
Browse the full ISSTA paper archive.