"Two new strategies for developing loop invariants and their applications."

Jinyun Xue (1993)

Details and statistics

DOI: 10.1007/BF02939477

access: closed

type: Journal Article

metadata version: 2017-05-28