Result: Compositional verification of parallel programs

*Title*:

Compositional verification of parallel programs : using epistemic logic and abstract assertional languages = Compositionele verificatie van parallele programma's / door Marten van Hulst

*Author/editor-in-chief*: