An integrated tool set for verifying CafeOBJ specifications
| dc.contributor.author | Ogata, Kazuhiro | |
| dc.contributor.author | Riesco Rodríguez, Adrián | |
| dc.date.accessioned | 2023-12-18T17:37:20Z | |
| dc.date.available | 2023-12-18T17:37:20Z | |
| dc.date.issued | 2022-03-18 | |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Informática | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.identifier.doi | 10.1016/j.jss.2022.111302 | |
| dc.identifier.officialurl | https://www.sciencedirect.com/science/article/pii/S016412122200053X | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/91468 | |
| dc.journal.title | Journal of Systems and Software | |
| dc.language.iso | eng | |
| dc.publisher | Elsevier | |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | en |
| dc.rights.accessRights | open access | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | An integrated tool set for verifying CafeOBJ specifications | |
| dc.type | journal article | |
| dc.volume.number | 189 | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 068dda11-d320-4634-a908-28a4bc4b0eb4 | |
| relation.isAuthorOfPublication.latestForDiscovery | 068dda11-d320-4634-a908-28a4bc4b0eb4 |
Download
Original bundle
1 - 1 of 1
