Reinhard Josef Klaus Kahle
AuthID: R-000-F9J
1
TITLE: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
AUTHORS: José Proença; Raul Fervari; Manuel A Martins; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: SEFM, VOLUME: 15551
AUTHORS: José Proença; Raul Fervari; Manuel A Martins; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: SEFM, VOLUME: 15551
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP