P
PatentIndex
Search
Landscape
Sign in
Inventor
RUSHBY JOHN
US
1 patents
Patents
1 patent
US7865339B2
Jan 4, 2011
Formal methods for test case generation
STANFORD RES INST INT
22 citations
83