Personal Information
Entreprise/Lieu de travail
Chofu, Tokyo Japan
Mots-clés
coq
formal methods
dsl
coq theorem prover
regular expression
proof summit 2011
type class
tutorial
setoid
domain specific languages
theorem prover
term rewriting
maude
formal method
formal verification
Tout plus
Présentations
(11)Personal Information
Entreprise/Lieu de travail
Chofu, Tokyo Japan
Mots-clés
coq
formal methods
dsl
coq theorem prover
regular expression
proof summit 2011
type class
tutorial
setoid
domain specific languages
theorem prover
term rewriting
maude
formal method
formal verification
Tout plus