The following pages link to Julian Dolby (Q526765):
Displaying 4 items.
- Z3str2: an efficient solver for strings, regular expressions, and length constraints (Q526767) (← links)
- Finding Concurrency-Related Bugs Using Random Isolation (Q3600476) (← links)
- (Q4473924) (← links)
- Associating synchronization constraints with data in an object-oriented language (Q5348934) (← links)
