Jorge Miguel de Matos Sousa Pinto
AuthID: R-000-7W9
1
TITLE: Auto-active verification of distributed systems and specification refinements with Why3-do
AUTHORS: Cláudio Belo Lourenço; Jorge Sousa Pinto;
PUBLISHED: 2026, SOURCE: Sci. Comput. Program., VOLUME: 247
AUTHORS: Cláudio Belo Lourenço; Jorge Sousa Pinto;
PUBLISHED: 2026, SOURCE: Sci. Comput. Program., VOLUME: 247
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP