Search for persons
X
?
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
1
Compositional Pre-processing for Automated Reasoning in Dep..:
, In:
?
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
3
A Coq formalization of data provenance:
, In:
?
Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems ,
4
On the Semantics of Polychronous Polytimed Specifications:
, In:
?
5
Tests and Proofs: 13th International Conference, TAP 2019, ..
Programming and Software Engineering, 11823
?
Proof Technology in Mathematics Research and Teaching; Mathematics Education in the Digital Era ,
6
SMTCoq: Mixing Automatic and Interactive Proof Technologies:
, In:
?
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ,
8
Dependent types and multi-monadic effects in F*:
, In:
?
Critiques ou manipulés? Pour les jeunes consommateurs responsables. ,
9
Donner des outils de vie à des jeunes en situation atypique:
, In:
?
Proceedings of the 2012 ACM international conference on Interactive tabletops and surfaces ,
10
PseudoWeight : Making Tabletop Interaction with Virtual ..:
, In:
?
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming ,
11