La investigación en verificación formal- un estado del arte

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Edgar Serna M.
Format:	Artículo científico
Sprache:	es
Veröffentlicht:	Universidad de las Ciencias Informáticas 2013
Schlagworte:	Computación métodos formales verificación Formal técnicas de ingeniería Ingeniería del Software Enfoques de investigación
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online