Department of Computer Science

Lex Bailey to present paper at FM'23 Doctoral Symposium

Lex Bailey will be presenting a paper on “Checking Confidentiality in Isabelle/UTP” at the Formal Methods 2023 Doctoral Symposium in Lübeck, Germany.

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements