Modelling Hegemonic Power Transition in Cyberspace. - Dmitry Brizhinev; Nathan Ryan; Roger Bradbury (Complex., 2018)

A case study in formal verification of a Java program. - Dmitry Brizhinev; Rajeev Goré (CoRR, 2018)