Statistics: Formal Methods in System Design

From: ever To: now Change data

Email Alert

RSS Feed

Geo Map

Save as a PNG Save as a JPEG

Region	#
EU - Europe	18
NA - North America	5
AS - Asia, other	1
OC - Oceania	1
Total	25

Save as a PNG Save as a JPEG

Country	#
AT - Austria	7
US - United States of America	3
CA - Canada	2
DE - Germany	2
FI - Finland	2
GB - United Kingdom	2
IE - Ireland	2
SE - Sweden	2
NZ - New Zealand	1
RU - Russian Federation	1
other - Other Country	1
Total	25

Save as a PNG Save as a JPEG

City	#
Des Moines	3
Dublin	2
Helsinki	2
Vienna	2
Eichwalde	1
Iver	1
Marlow	1
Nizhniy Novgorod	1
Repentigny	1
Terrebonne	1
other	10
Total	25

Save as a PNG Save as a JPEG

Year	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec	Tot
2020	0	0	0	0	0	0	0	0	0	0	0	1	1
2021	0	0	0	0	0	1	0	0	0	0	1	0	2
2022	0	2	0	0	1	0	5	0	1	0	0	0	9
2023	1	0	1	0	0	0	1	2	0	1	1	0	7
2024	0	5	0	1	0	0	0	0	0	0	0	0	6
Ever													25