Back to Results
First PageMeta Content
Software engineering / Computing / Abstraction / Deterministic finite automaton / Abstract interpretation / Nondeterministic finite automaton / Finite-state machine / Automata theory / Models of computation / Computer science


1 Static Specification Mining Using Automata-Based Abstractions Sharon Shoham
Add to Reading List

Document Date: 2008-06-04 09:57:06


Open Document

File Size: 566,51 KB

Share Result on Facebook
UPDATE