![](/img/cover-not-exists.png)
Two new strategies for developing loop invariants and their applications
Xue JinyunVolume:
8
Language:
english
Pages:
8
DOI:
10.1007/bf02939477
Date:
April, 1993
File:
PDF, 517 KB
english, 1993