BCS FACSProgramme: 2018 Refinement Workshop

The 2018 Refinement Workshop is affiliated with FM 2018 and is part of FLoC 2018, Oxford, UK.

The programme for the 2018 Refinement Workshop is as follows:

TBD

Call for papers

Web pages maintained by RefineNet webmaster and hosted at School of Computing, University of Kent.