Logotipo ImpactU
Autor

CHASE:A Static Checker for JML’s Assignable Clause

Acceso Cerrado
Idioma: Inglés
Publicado: 16/12/2002
APC (est): No disponible

Abstract:

Abstract no disponible

Tópico:

Software Engineering Research

Citaciones:

Citations: 19
19

Citaciones por año:

Altmétricas:

Paperbuzz Score: 0
0

Información de la Fuente:

SCImago Journal & Country Rank
FuenteLecture notes in computer science
Cuartil año de publicaciónNo disponible
VolumenNo disponible
IssueNo disponible
Páginas26 - 40
pISSNNo disponible
ISSN1611-3349
Perfil OpenAlexhttps://openalex.org/S106296714

Enlaces e Identificadores:

Scienti ID0000927694-2Scienti URLhttp://cic.puj.edu.co/~ncatano/publications/chase.pdfScholar URLhttps://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3APxJBJKqKqJwJ%3Ascholar.google.com&btnG=
Openalex URLhttps://openalex.org/W1555397629Scholar citations URLhttps://scholar.google.com/scholar?cites=11288424929361465919&as_sdt=2005&sciodt=0,5&hl=enPdf URLhttps://www.researchgate.net/profile/Nestor-Catano-3/publication/221550965_CHASE_A_static_checker_for_JML%27s_Assignable_clause/links/0046352cf9379b7ae5000000/CHASE-A-static-checker-for-JMLs-Assignable-clause.pdf
Doi URLhttps://doi.org/10.1007/3-540-36384-x_6
Artículo de revista
Fundadores:
Logotipo Universidad de Antioquia
Logotipo Universidad Autónoma Latinoamericana
Logotipo Universidad Externado de Colombia
Logotipo Universidad Del Valle
Producto desarrollado por:
Logotipo Colav
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia