Programming Phase: Formal Methods

Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

Original languageEnglish
Title of host publicationEncyclopedia of Software Engineering
PublisherTaylor & Francis
Pages772-785
Number of pages14
ISBN (Print)978-1-4200-5977-9
Publication statusPublished - 2010

Cite this