Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem

Andreas Bollin. Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem. In 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013. pages 8-14, IEEE Computer Society, 2013. [doi]

Abstract

Abstract is missing.