Back to Results
First PageMeta Content
Abstraction / Applied mathematics / Computer science / Programming paradigms / Data management / Abstract interpretation / Deterministic finite automaton / Formal verification / Abstract object / Automata theory / Theoretical computer science / Models of computation


Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav
Add to Reading List

Document Date: 2007-06-11 13:49:54

Open Document

File Size: 285,79 KB

Share Result on Facebook
UPDATE