‡a
Author's Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems
‡a
thirty3yearsofmathematiciansandsoftwareengineersacasestudyofdomainexpertiseandparticipationinproofassistantecosystems
‡A
Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems
‡9
1
‡a
practicalapproachfordynamictainttrackingwithcontrolflowrelationships
‡A
A Practical Approach for Dynamic Taint Tracking with Control-flow Relationships
‡9
1