Statistics

Total Visits

Views
GIRL: uma linguagem de modelagem e verificação de requisitos invariantes. 136

Total Visits per Month

January 2025 February 2025 March 2025 April 2025 May 2025 June 2025 July 2025
GIRL: uma linguagem de modelagem e verificação de requisitos invariantes. 1 2 0 6 0 0 0

File Downloads

Views
MARZINA VIDAL NEGREIROS - DISSERTAÇÃO (PPGCC) 2018.pdf 84
MARZINA VIDAL NEGREIROS - DISSERTAÇÃO (PPGCC) 2018.pdf 58

Top Country Views

Views
Brazil 38
United States 35
China 8
EU 4
Germany 3
Vietnam 3
Canada 2
Uruguay 2
United Kingdom 1
Ukraine 1

Top City Views

Views
Oakland 13
Campina Grande 10
Menlo Park 7
Shenzhen 7
Mountain View 4
Cambridge 3
Hanoi 3
Ann Arbor 2
Ottawa 2
Beijing 1