Original language | English |
---|---|
Title of host publication | Encyclopedia of Software Engineering |
Publisher | Taylor & Francis |
Pages | 772-785 |
Number of pages | 14 |
ISBN (Print) | 978-1-4200-5977-9 |
Publication status | Published - 2010 |
Programming Phase: Formal Methods
Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti
Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary