Login / Signup

Formal Verification of Database Applications Using Predicate Abstraction.

Md. Imran AlamRaju Halder
Published in: SN Comput. Sci. (2021)
Keyphrases