2015

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Butler, Michael J. ; Conchon, Sylvain ; Zaidi, Fatiha (2015)
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings.
doi: 10.1007/978-3-319-25423-4_14
Konferenzveröffentlichung, Bibliographie