Login / Signup

A deductive reasoning approach for database applications using verification conditions.

Md. Imran AlamRaju HalderJorge Sousa Pinto
Published in: J. Syst. Softw. (2021)
Keyphrases