Report/Guide

Ashford, S (1993) Automatic test case generation using prolog. NPL Report. DITC 215/93

Article

Jones, D J M; Aikomo, M; Ashford, S; Ashkhasi, A; Davis, J A; Devine, B; Eglin, B; Everett, S B; Foot, R; Galbraith, D; Hendricks, R J; Khatry, K; Langham, C; Lewis, R; Newton-Griffiths, J; Owen, H; Shemar, S L; Sheppard, A; Smyth, C; Szymaniec, K; Walby, S; Weston, D F M; Whale, J; Whibberley, P B; Wilson, A; Wilson, C; Margolis, H S (2024) A new resilient time and frequency infrastructure for UTC(NPL). Journal of Physics: Conference Series, 2889. 012025