Interaction analysis of annotated specification and program codes in Extended Static Checking | IEEE Conference Publication | IEEE Xplore