Statistics
Total Visits
| Views | |
|---|---|
| Model checking and abstract interpretation as building blocks of advanced program analysis techniques: Selected papers from TACAS 2009 | 90 |
Total Visits Per Month
| Οκτώβριος 2023 | Νοέμβριος 2023 | Δεκέμβριος 2023 | Ιανουάριος 2024 | Φεβρουάριος 2024 | Μάρτιος 2024 | Απρίλιος 2024 | |
|---|---|---|---|---|---|---|---|
| Model checking and abstract interpretation as building blocks of advanced program analysis techniques: Selected papers from TACAS 2009 | 1 | 5 | 5 | 1 | 0 | 0 | 2 |
Top country views
| Views | |
|---|---|
| Πολωνία | 42 |
| Ηνωμένες Πολιτείες | 34 |
| Σουηδία | 4 |
| Κίνα | 3 |
| Γαλλία | 2 |
| Ιρλανδία | 2 |
| Γερμανία | 1 |
| Δανία | 1 |
| Ιράν, Ισλαμική Δημοκρατία του | 1 |
Top cities views
| Views | |
|---|---|
| Warsaw | 42 |
| Louisville | 11 |
| San Ramon | 5 |
| Boardman | 4 |
| Des Moines | 4 |
| Dublin | 2 |
| Fairfield | 2 |
| Ann Arbor | 1 |
| Ashburn | 1 |
| Mountain View | 1 |