"Interaction analysis of annotated specification and program codes in ..."

Truong-Thang Nguyen, Manh-Dong Tran (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics