Compositional software verification based on game semantics and process algebra
Aleksandar Dimovski, Ranko LazićVolume:
9
Language:
english
Pages:
15
DOI:
10.1007/s10009-006-0005-y
Date:
February, 2007
File:
PDF, 650 KB
english, 2007