Abstract:
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.