Checking critical software systems: A formal proposal

  1. Morales, L.E.M.
  2. Capel, M.I.
Actas:
Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016

ISBN: 9781509035816

Año de publicación: 2016

Páginas: 160-163

Tipo: Aportación congreso

DOI: 10.1109/QUATIC.2016.041 GOOGLE SCHOLAR
Fuente de los datos: Scopus