A mixed approach for the formal correctness proof of distributed programs
Gabriele ManduchiVolume:
38
Year:
1996
Language:
english
Pages:
18
DOI:
10.1016/0950-5849(95)01092-0
File:
PDF, 2.06 MB
english, 1996