State Transition Assertions: A Case Study

• 1 January 1994
• book chapter
• Published by Elsevier
• p. 93-113
• https://doi.org/10.1016/b978-0-444-89901-9.50014-8

Abstract

Keywords

• CASE STUDY
• STATE TRANSITION ASSERTIONS