JavaScript is disabled for your browser. Some features of this site may not work without it.
Please be advised that the site will be down for maintenance on Sunday, September 1, 2024, from 08:00 to 18:00, and again on Monday, September 2, 2024, from 08:00 to 09:00. We apologize for any inconvenience this may cause.
FM+AM’09 : workshop on formal methods and agile methods
This workshop aimed at bringing two orthogonal
viewpoints about development methods in software engineering together.We were seeking new contributions towards making formal software development faster, and rapid software development more formally sound.