formalisefme workshop on formal methods in software engineer published presentations and documents on DocSlides.
