Future of Software Engineering Proceedings Journal

publication venue for

• Certifiably safe software-dependent systems: challenges and directions 2014