SOFTFM 2023

2nd International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2023) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of advances in Software Engineering and formal Methods. The goal of this conference is to bring together researchers and practitioners from academia and industry to focus on understanding Modern software engineering concepts and establishing new collaborations in these areas