Reinhard Josef Klaus Kahle
AuthID: R-000-F9J
1
TÃTULO: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
AUTORES: José Proença; Raul Fervari; Manuel A Martins; Reinhard Kahle; Graham Pluck;
PUBLICAÇÃO: 2026, FONTE: SEFM, VOLUME: 15551
AUTORES: José Proença; Raul Fervari; Manuel A Martins; Reinhard Kahle; Graham Pluck;
PUBLICAÇÃO: 2026, FONTE: SEFM, VOLUME: 15551
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP