Login / Signup

Interaction analysis of annotated specification and program codes in Extended Static Checking.

Truong-Thang NguyenManh-Dong Tran
Published in: RIVF (2015)
Keyphrases