Christian Bird
Results
1
comments of
Christian Bird
This kind of approach would greatly benefit a project we're working on the SAINTES team. We're building a system to reason about source code and as part of that an...