IPM International Workshop on Foundations of Software Engineering
Tehran, Iran, 01/10/2005–03/10/2005
FSEN aims to bring together researchers, engineers, developers and practitioners from academia and industry who work in every area of formal methods. It seeks to facilitate the transfer of experience, the adaptation of methods and, where possible, collaboration among different groups, with particular attention to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques.
works as
series event
