Statistik för Formally Verifying WebAssembly with KWasm Towards an Automated Prover for Wasm Smart Contracts
Totalt antal besök
| views | |
|---|---|
| Formally Verifying WebAssembly with KWasm Towards an Automated Prover for Wasm Smart Contracts | 287 |
Totalt antal besök per månad
| views | |
|---|---|
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
| May 2024 | 0 |
Nedladdningar
| views | |
|---|---|
| CSE 20-08 Hjort ODR.pdf | 618 |
Visningar per land (topp)
| views | |
|---|---|
| Sweden | 111 |
| United States | 32 |
| Germany | 17 |
| China | 16 |
| United Kingdom | 13 |
| Austria | 11 |
| Hong Kong SAR China | 8 |
| Australia | 7 |
| India | 7 |
| Czechia | 6 |
| Denmark | 6 |
| South Korea | 5 |
| Romania | 5 |
| Canada | 4 |
| Mexico | 3 |
| Singapore | 3 |
| Turkey | 3 |
| Spain | 2 |
| France | 2 |
| Iran | 2 |
| Japan | 2 |
| Netherlands | 2 |
| Norway | 2 |
| New Zealand | 2 |
| Poland | 2 |
| Slovakia | 2 |
| Algeria | 1 |
| Finland | 1 |
| Ireland | 1 |
| Iraq | 1 |
| Italy | 1 |
| Moldova | 1 |
| Malaysia | 1 |
| Nigeria | 1 |
| Portugal | 1 |
| Saudi Arabia | 1 |
| Thailand | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Gothenburg | 54 |
| Stockholm | 10 |
| Vienna | 9 |
| Ytterby | 8 |
| Berlin | 6 |
| Cambridge | 6 |
| Beijing | 5 |
| Sydney | 5 |
| Vaestra Froelunda | 5 |
| Boardman | 4 |
| Uppsala | 4 |
| Braunschweig | 3 |
| Naucalpan | 3 |
| Singapore | 3 |
| Central | 2 |
| Des Moines | 2 |
| Floda | 2 |
| Hamilton | 2 |
| Hyderabad | 2 |
| Larvik | 2 |
| London | 2 |
| Moelndal | 2 |
| Montreal | 2 |
| Phoenix | 2 |
| San Francisco | 2 |
| Seattle | 2 |
| Suwon | 2 |
| Torslanda | 2 |
| Umkirch | 2 |
| Vulturesti | 2 |
| Ahlersbach | 1 |
| Algiers | 1 |
| Amsterdam | 1 |
| Ashburn | 1 |
| Ballerup Municipality | 1 |
| Bangkok | 1 |
| Bengaluru | 1 |
| Bloomington | 1 |
| Bologna | 1 |
| Borås | 1 |
| Braga | 1 |
| Brisbane | 1 |
| Brno | 1 |
| Bromma | 1 |
| Burke | 1 |
| Charlottenberg | 1 |
| Chennai | 1 |
| Cherry Hill | 1 |
| Copenhagen | 1 |
| Dublin | 1 |
| Durham | 1 |
| Edinburgh | 1 |
| Falkenberg | 1 |
| Guangzhou | 1 |
| Huaroed | 1 |
| Hudiksvall | 1 |
| Isleworth | 1 |
| Kungsbacka | 1 |
| Leeds | 1 |
| Lerum | 1 |
| Limhamn | 1 |
| Los Angeles | 1 |
| Luleå | 1 |
| Lustenau | 1 |
| Madrid | 1 |
| Malmo | 1 |
| Manchester | 1 |
| Miami | 1 |
| Minneapolis | 1 |
| Moensteras | 1 |
| Mumbai | 1 |
| Nanjing | 1 |
| Norrköping | 1 |
| North Hollywood | 1 |
| North Tonawanda | 1 |
| Nowy Dwor Gdanski | 1 |
| Partille | 1 |
| Plank am Kamp | 1 |
| Princeton | 1 |
| Reutlingen | 1 |
| Rota | 1 |
| Rotterdam | 1 |
| Rîbniţa | 1 |
| San Mateo | 1 |
| Shanghai | 1 |
| Shenzhen | 1 |
| Sisli | 1 |
| State College | 1 |
| Toronto | 1 |
| Turku | 1 |
| Urziceni | 1 |
| Västerås | 1 |
| Warsaw | 1 |
| Wuhan | 1 |
| Örebro | 1 |
| Östersund | 1 |