Software Specification: A Comparison of Formal Methods

TitleSoftware Specification: A Comparison of Formal Methods
Publication TypeBooks
Year of Publication1994
AuthorsGannon JD, Purtilo J, Zelkowitz MV
PublisherIntellect Books
ISBN Number9781567500332
KeywordsComputer software, Computer software/ Specifications, Computers / General, Computers / Programming / General, Formal methods (Computer science), software engineering, specifications