Statistics for Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023
Total visits
| views | |
|---|---|
| Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023 | 33 |
Total visits per month
| views | |
|---|---|
| March 2024 | 0 |
| April 2024 | 4 |
| May 2024 | 2 |
| June 2024 | 2 |
| July 2024 | 2 |
| August 2024 | 0 |
| September 2024 | 0 |
File Visits
| views | |
|---|---|
| Nadel-2023-Proceedings-of-the-23rd-Conference-on-Formal-Methods-in-Comput-vor.pdf | 305 |
| front-matter-198428.pdf | 39 |
Top country views
| views | |
|---|---|
| United States | 21 |
| Austria | 2 |
| Russia | 2 |
| Australia | 1 |
| Bangladesh | 1 |
| Brazil | 1 |
| China | 1 |
| Israel | 1 |
| Iran | 1 |
| Italy | 1 |
| Romania | 1 |
Top city views
| views | |
|---|---|
| Austin | 7 |
| Irkutsk | 2 |
| Reston | 2 |
| Seattle | 2 |
| Vienna | 2 |
| Ashburn | 1 |
| Brasília | 1 |
| Brisbane | 1 |
| Chandler | 1 |
| Hayward | 1 |
| Laurel | 1 |
| Naples | 1 |
| Ningbo | 1 |
| Rehovot | 1 |
| Sector 6 | 1 |
| State College | 1 |