Diverse Bücher
Software Engineering and Formal Methods - Carla Herausgegeben:Ferreira, Tim A. C. Willemse
Software Engineering and Formal Methods - Buch This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10,...
https://www.bizrate.de/diversebuecher/software-engineering-and-formal-methods-oid38207486044.html
