Adán Sánchez de Pedro Crespo

2 talks by Adán Sánchez de Pedro Crespo

• RADON: A Domain-Specific Language for Oracles
• RADON: A Domain Specific Language for Oracles (Devcon5)