Ver Publicación - Prisma - Unidad de Bibliometría

On the complexity of program debugging using constraints for modeling the program's syntax and semantics

Wotawa, Franz ; Weber, Jörg; Nica, Mihai; Ceballos, Rafael

Tipo: Ponencia
Año de Publicación: 2010
Volumen: 5988 LNAI
Páginas: 22 - 31
Fuente Nº Citas Fecha Actualización
scopus1229-10-2024
wos329-10-2024
Dimensions
PlumX
Altmetric

Año:

2011

CiteScore:

1,300

CategoríaPosiciónCuartilTercilDecil
General Computer Science79/176Q2T2D5
Theoretical Computer Science85/115Q3T3D8

SJR año:

2010

Factor de Impacto:

0,322

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)71/227Q2T1D4
Theoretical Computer Science78/111Q3T3D8
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
Austrian Federal Ministry of Economics-
Austrian Science Fund (FWF)P20199-N15
innovation and technology (ZIT)-
province of Styria-
teirische Wirtschaftsf orderungsgesellschaft mbH-
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Wotawa, Franz Graz University of Technology, Institute of Software Technology (Austria)
2Weber, JörgGraz University of Technology, Institute of Software Technology (Austria)
3Nica, MihaiGraz University of Technology, Institute of Software Technology (Austria)
4Ceballos, RafaelUniversidad de Sevilla (Spain)