Haures, Daniel
 Distribuzione geografica
Continente #
EU - Europa 19
AS - Asia 2
NA - Nord America 1
Totale 22
Nazione #
FR - Francia 17
SG - Singapore 2
DE - Germania 1
IT - Italia 1
US - Stati Uniti d'America 1
Totale 22
Città #
Colombes 4
Nuremberg 1
Paris 1
Santa Clara 1
Singapore 1
Turin 1
Totale 9
Nome #
Combining Static and Runtime Verification with AC and Coq 23
Totale 23
Categoria #
all - tutte 120
article - articoli 0
book - libri 0
conference - conferenze 120
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 240


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202421 0 0 2 0 1 0 0 0 0 2 1 15
2024/20252 2 0 0 0 0 0 0 0 0 0 0 0
Totale 23