Fotos: Formal Software Construction – Cardiff, Cardiff Business Technol… (Vereinigtes Königreich)