Items where authors include "Mota, Alexandre"

Proceedings Paper

Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Foster, Simon David orcid.org/0000-0002-9889-9514 et al. (1 more author) (2019) Probabilistic Semantics for RoboChart A Weakest Completion Approach. In: Ribeiro, Pedro and Sampaio, Augusto, (eds.) Unifying Theories of Programming:7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer .