Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
1 Array
|
|
sorted by
|
|
Verifying Data Independent Programs Using Game Semantics12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.128-143, ⟨10.1007/978-3-642-39614-4_9⟩
Conference papers
hal-01492794v1
|