Skip to main content
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
64 64 3
Downloads per country
United States of America 13 (22%)
Sweden 12 (21%)
Canada 8 (14%)
Germany 7 (12%)
Romania 7 (12%)
India 4 (7%)
Denmark 3 (5%)
Greece 1 (2%)
Japan 1 (2%)
United Kingdom of Great Britain and Northern Ireland 1 (2%)
Italy 1 (2%)
About
The download statistics shown here have been collected since the launch of LUP in October 2007 and are updated every night. Statistics are available for all records with open access fulltexts. Efforts have been made to exclude downloads by robots and track irregular download activities.

About accessibility

Disclaimer
The information on downloads per country is based on the geolocation of IP addresses and may not be completely accurate. The statistics presented here may also change retroactively when the calculation process is improved to provide more accurate results.

Statistics Last Updated
Fri Jul 18 08:35:05 2025