Login / Signup

Correct By Construction Approach For Translation Of Stored Procedures To Java Code.

Aniket Kulkarni
Published in: ISEC (2019)
Keyphrases