Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

An integrated tool set for verifying CafeOBJ specifications

Thumbnail Image

Download

downoloadjss22.pdf (826.52 KB)

Official URL

https://www.sciencedirect.com/science/article/pii/S016412122200053X

Full text at PDC

Publication date

2022

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Elsevier
Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/91468

Citation

Abstract

Research Projects

Organizational Units

Journal Issue

Description

UCM subjects

Informática (Informática)

Unesco subjects

1203.17 Informática

Keywords

Collections

Artículos