Personal Information
Organização/Local de trabalho
Chofu, Tokyo Japan
Marcadores
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
Ver mais
- Apresentações
- Documentos
- Infográficos