Seiichiro Dan, Takahira Yamaguchi, Osamu Kakusho, Yoshikazu Tezuka. Program verification system with synthesizer of invariant assertions. Systems and Computers in Japan, 20(1):1-13, 1989. [doi]
@article{DanYKT89, title = {Program verification system with synthesizer of invariant assertions}, author = {Seiichiro Dan and Takahira Yamaguchi and Osamu Kakusho and Yoshikazu Tezuka}, year = {1989}, doi = {10.1002/scj.4690200101}, url = {http://dx.doi.org/10.1002/scj.4690200101}, researchr = {https://researchr.org/publication/DanYKT89}, cites = {0}, citedby = {0}, journal = {Systems and Computers in Japan}, volume = {20}, number = {1}, pages = {1-13}, }