FM 2014: formal methods. 19th international symposium, Singapore, May 12--16, 2014. Proceedings
scientific article