1 paper
Annie Ressouche, Daniel Gaffé, Valérie Roy
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t…