Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging.

Jade Alglave

Browse the full FMCAD paper archive.