1
Subjects: ...gnd Keywords: Implicit invocation; Rely/guarantee; Assumption/commitment...
electronic Article
2
Subjects: ...misc Keywords: Implicit invocation; Rely/guarantee; Assumption/commitment...
electronic Article
4
5
Subjects: ...gnd Assumptioncommitment...
electronic Article
6
Subjects: ...gnd Keywords: Assumption-commitment reasoning; Formal program development; Parallel programming...
electronic Article