Model Checking and Artificial Intelligence More Books by Ron van der Meyden & Jan-Georg Smaus

Simple Agreements for Future Equity (SAFE)

2025

Deontic Logic in Computer Science

2008