Computer Aided Verification of Relational Models by Strategic Rewriting

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Claudia M. Necco
Format:	Artículo científico
Language:	en
Published:	Universidad Nacional de La Plata 2017
Subjects:	Computación Symbolic execution Models verification Extended static checking Strategic term rewriting Abstract model verification
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet