Software Engineering and Formal Methods: 14th International Conference,SEFM 2016,Held as Part of STAF 2016,Vienna,Austria,July 4-8,2016,Proceedings
9783319415901 Software Engineering and Formal Methods: 14th International Confer...
9783319415901 Software Engineering and Formal Methods: 14th International Confer...
9783319298139 Information and Communications Security: 17th International Confer...