ZHONG Yang, SONG Guo-xin, JI Chun-lei. A Partition Induction for the Formal Verification of Loop Programs[J]. Journal of East China University of Science and Technology, 2008, (6).
|
Citation:
|
ZHONG Yang, SONG Guo-xin, JI Chun-lei. A Partition Induction for the Formal Verification of Loop Programs[J]. Journal of East China University of Science and Technology, 2008, (6).
|
ZHONG Yang, SONG Guo-xin, JI Chun-lei. A Partition Induction for the Formal Verification of Loop Programs[J]. Journal of East China University of Science and Technology, 2008, (6).
|
Citation:
|
ZHONG Yang, SONG Guo-xin, JI Chun-lei. A Partition Induction for the Formal Verification of Loop Programs[J]. Journal of East China University of Science and Technology, 2008, (6).
|
DownLoad: