Moshe Tamir

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1980

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