Volver atrás Publicación
Alpuente Frasnedo María, DEMIS BALLIS, JAVIER ESPERT REAL, Romero Daniel Omar
2010
Model-checking Web Applications with Web-TLR
