Our own Muffy Calder gave a #DisCoTec2022 keynote today on her 30+ years of FORTE research: a personal perspective on the evolution of her research in fundamental theory, models, and tools for distributed systems discotec.org/2022/invited#m…
@FATAglasgow @FormalMethodsGU @GlasgowCS
