Strategies for incorporating formal specifications in software development

M Fraser, K (Kuldeep) Kumar, VK Vaishnavi

Research output: Contribution to journalArticleAcademicpeer-review

57 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)74-86
Number of pages13
JournalCommunications of the ACM
Volume37
Issue number10
Publication statusPublished - 1994

Cite this