Formal verification of a programming logic for a distributed programming language
Cui Zhang, Ronald A. Olsson, Karl N. LevittVolume:
216
Year:
1999
Language:
english
Pages:
23
DOI:
10.1016/s0304-3975(97)00234-x
File:
PDF, 1.72 MB
english, 1999