New Perspectives on Games and Interaction New Perspectives on Games and Interaction
2025
Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs
2009