Refactoring design models for inductive verification
Author:
- Yung-Pin ChengYCYung-Pin Cheng
Open Access
- 1 January 2002
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 27 (4) , 164-168