Filtrer vos résultats
- 3
- 3
- 3
- 1
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 1
- 1
3 résultats
|
|
triés par
|
|
Certified proofs in programs involving exceptionsConference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16
Communication dans un congrès
hal-00867237v3
|
||
|
Hilbert-Post completeness for the state and the exception effectsSixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. pp.596-610, ⟨10.1007/978-3-319-32859-1_51⟩
Communication dans un congrès
hal-01121924v3
|
||
|
Formal verification in Coq of program properties involving the global state effectJFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17
Communication dans un congrès
hal-00869230v2
|