Personal Information
Unternehmen/Arbeitsplatz
Chofu, Tokyo Japan
Tags
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
Mehr anzeigen
Präsentationen
(11)Personal Information
Unternehmen/Arbeitsplatz
Chofu, Tokyo Japan
Tags
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
Mehr anzeigen