Inserire una breve descrizione delle modifiche fatte
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
FSEN 2009
3rd International Conference on Fundamentals of Software Engineering
Kish Island, Iran, 15/04/2009–17/04/2009
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.
Farhad Arbab • Christel Baier • Frank de Boer • Ali Movaghar • Jan Rutten • Hamid Sarbazi-Azad • Marjan Sirjani
— membro del pc
Luca Aceto • Gul Agha • Farhad Arbab • Christel Baier • Frank de Boer • Marcello Bonsangue • Mario Bravetti • James C. Browne • Michael Butler • David Clarke • Nancy Day • Wan Fokkink • Masahiro Fujita • Maurizio Gabbrielli • Radu Grosu • Jan Friso Groote • Joost Kok • Zhiming Liu • Seyyed Hassan Mirian • Ugo Montanari • Peter Mosses • Mohammad Reza Mousavi • Ali Movaghar • Andrea Omicini • Jan Rutten • Davide Sangiorgi • Sandeep Shukla • Marjan Sirjani • Carolyn Talcott • Zijiang Yang
