Login / Signup

Verification of Programs That Destructively Manipulate Data.

Ian A. Mason
Published in: Sci. Comput. Program. (1988)
Keyphrases