Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276

Conoce los últimos avances de ingeniería de software y métodos formales a través de artículos seleccionados de la conferencia SEFM 2015 en York, con análisis teóricos y aplicaciones prácticas que impulsan el desarrollo fiable y seguro.

Compartir: