Search ▾
← Back to full profile
Robby
20 papers · 217 indexed citations
Citation Impact
Citing Papers
Finding security vulnerabilities in java applications with static analysis
2005
Standout
Automated environment generation for software model checking
2004
Works of Robby being referenced
2002
Rankless
by CCL
2026
Contact
Help improve the site
Quick 30-second survey — we'd appreciate your feedback.
Take survey
×