%0
Generic
%T
Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
%A Duan, Zhenhua
%A Ong, Luke
%I Springer
%@ 9783319686905
%K Computer communication systems
%K Programming languages (Electronic computers)
%K Computer logic
%K Mathematical logic
%K Computer Science
%K Computer science
%K Computer programming
%K Software engineering
%K Compilers (Computer programs).
%K Machine theory.
%K Computer networks .
%D 2017
%C Springer
%C Cham
%U http://slubdd.de/katalog?TN_libero_mab2