He, X, Yu, H, Deng, Y. (2006). Formal methods for specifying and analyzing complex software systems
.
319-345. 10.4018/978-1-59140-941-1.ch013
He, X, Yu, H, Deng, Y. (2006). Formal methods for specifying and analyzing complex software systems
. 319-345. 10.4018/978-1-59140-941-1.ch013