![](/img/cover-not-exists.png)
[ACM Press the - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the on Future of Software Engineering - FOSE 2014 - Certifiably safe software-dependent systems: challenges and directions
Hatcliff, John, Wassyng, Alan, Kelly, Tim, Comar, Cyrille, Jones, PaulYear:
2014
Language:
english
DOI:
10.1145/2593882.2593895
File:
PDF, 501 KB
english, 2014