Moshe Tamir Vis

List of publications from the DBLP Bibliography Server - FAQ

* 1980

1 Moshe Tamir: ADI: Automatic Derivation of Invariants. IEEE Trans. Software Eng. 6(1): 40-48 (1980)