Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Edgar Darío Ramírez-de León
Format:	Artículo científico
Language:	es
Published:	Universidad Nacional Autónoma de México 2014
Subjects:	Ingeniería JML XML Java Full Static Static Checking
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet