E-Prints Complutense

Eprints más vistos: [2013] [2012] [Todos los años]
Estadísticas del Archivo: [por Año/mes] [por País]

Una herramienta para el testeo de propiedades formales de programas basada en técnicas de demostración automática

Para este eprint: [2013] [2012] [Todos los años]

Historial de descargas de este eprint:

NOTA: Desde junio de 2009 hasta mayo de 2010 inclusive, algunas descargas se han contabilizado erróneamente por duplicado.
Los números entre paréntesis representan los países distintos desde los que se originaron las descargas.
Período	Descargas
2013 Abr	15	(6)
2013 Mar	22	(8)
2013 Feb	0	(0)
2013 Ene	16	(5)
2012 Dic	22	(6)
2012 Nov	15	(7)
2012 Oct	21	(8)
2012 Sep	18	(7)
2012 Ago	11	(6)
2012 Jul	17	(6)
2012 Jun	16	(9)
2012 May	22	(9)
2012 Abr	13	(7)
2012 Mar	12	(4)
2012 Feb	13	(2)
2012 Ene	11	(6)
2011 Dic	5	(3)
2011 Nov	9	(3)
2011 Oct	12	(4)
2011 Sep	14	(6)
2011 Ago	10	(3)
2011 Jul	22	(10)
2011 Jun	16	(7)
2011 May	17	(8)
2011 Abr	21	(7)
2011 Mar	19	(6)
2011 Feb	15	(6)
2011 Ene	11	(5)
2010 Dic	10	(4)
2010 Nov	14	(5)
2010 Oct	17	(7)
2010 Sep	6	(2)
2010 Ago	7	(3)
2010 Jul	19	(3)
2010 Jun	7	(3)
2010 May	10	(3)
2010 Abr	7	(3)
2010 Mar	12	(6)
2010 Feb	15	(7)
2010 Ene	14	(5)
2009 Dic	11	(6)
2009 Nov	11	(4)
2009 Oct	17	(6)
2009 Sep	14	(8)
2009 Ago	6	(4)
2009 Jul	9	(4)
2009 Jun	14	(4)

Descargas por país (deducidas de la dirección IP solicitante) en todos los años

País		Descargas
	United States	267
	Campus U.C.M.	105
	Spain	46
	Colombia	41
	Mexico	38
	France	25
	Bolivia	15
	Russian Federation	15
	Peru	15
	Germany	10
	Ukraine	8
	Venezuela	8
	Argentina	8
	Ecuador	7
	China	6
	Chile	5
	Puerto Rico	2
	Czech Republic	2
	Panama	1
	Guatemala	1
	Brazil	1
	El Salvador	1
	Honduras	1
	Indonesia	1
	Paraguay	1
	Cuba	1
	Denmark	1
	Nicaragua	1
	Japan	1
	Uruguay	1
Total acumulado:		635	descargas de este eprint desde 30 países distintos

Inicio de página