Filter your results
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
|
|
|
sorted by
|
|
|
Generic Weakest Precondition Semantics from Monads Enriched with Order12th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2014), Apr 2014, Grenoble, France. pp.10-32, ⟨10.1007/978-3-662-44124-4_2⟩
Conference papers
hal-01408750v1
|
||
Coalgebraic Methods in Computer ScienceSpringer, LNCS-9608, 2016, Coalgebraic Methods in Computer Science, 978-3-319-40369-4. ⟨10.1007/978-3-319-40370-0⟩
Books
hal-01446038v1
|