LUP Statistics
Record
- Title
- Fully Declarative Specification of Static Code Checkers
- Type
- Dissertation
- Publ. year
- 2025
- Author/s
- Dura, Alexandru
- Department/s
- ELLIIT: the Linköping-Lund initiative on IT and mobile communication; Software Development and Environments; LTH Profile Area: AI and Digitalization
- In LUP since
- 2025-04-23
Downloads
| Total | This Year | This Month |
| 123 | 16 | 0 |
United States of America ![]() |
32 (26%) |
Sweden ![]() |
19 (15%) |
Canada ![]() |
12 (10%) |
Germany ![]() |
8 (7%) |
Unknown ![]() |
8 (7%) |
Romania ![]() |
8 (7%) |
Hong Kong (China) ![]() |
5 (4%) |
United Kingdom of Great Britain and Northern Ireland ![]() |
5 (4%) |
India ![]() |
4 (3%) |
Denmark ![]() |
3 (2%) |
Switzerland ![]() |
3 (2%) |
Viet Nam ![]() |
2 (2%) |
China ![]() |
2 (2%) |
Czechia ![]() |
1 (1%) |
Austria ![]() |
1 (1%) |
France ![]() |
1 (1%) |
Australia ![]() |
1 (1%) |
Italy ![]() |
1 (1%) |
Poland ![]() |
1 (1%) |
Taiwan (China) ![]() |
1 (1%) |
Japan ![]() |
1 (1%) |
New Zealand ![]() |
1 (1%) |
Egypt ![]() |
1 (1%) |
Greece ![]() |
1 (1%) |
Hungary ![]() |
1 (1%) |
























