Ron van der Meyden

Books
Simple Agreements for Future Equity (SAFE) Simple Agreements for Future Equity (SAFE)
Simple Agreements for Future Equity (SAFE)
2025
Model Checking and Artificial Intelligence Model Checking and Artificial Intelligence
Model Checking and Artificial Intelligence
2011
Deontic Logic in Computer Science Deontic Logic in Computer Science
Deontic Logic in Computer Science
2008