Items where authors include "Woodcock, James"

Article

Kulik, Tomas, Dongol, Brijesh, Larsen, Peter Gorm et al. (4 more authors) (2022) A Survey of Practical Formal Methods for Security. Formal Aspects of Computing. 3522582. ISSN 1433-299X

Ahmad, Sohail orcid.org/0000-0002-2816-8484, Goodman, Anna, Creutzig, Felix et al. (2 more authors) (2020) A comparison of the health and environmental impacts of increasing urban density against increasing propensity to walk and cycle in Nashville, USA. Cities and Health. pp. 55-65. ISSN 2374-8834