AProgrammed, Skeletel Formal Specification Method - The OUFDM

Philip Leith

Research output: Contribution to journalArticle

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)337-342
Number of pages6
JournalThe Computer Journal
Volume30
Publication statusPublished - 1987

Cite this