Statistics

Total Visits

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

Total Visits per Month

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

File Downloads

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

Top Country Views

Views
Brazil 32
United States 23
China 8
Germany 3
Vietnam 3
Uruguay 2
Ukraine 1

Top City Views

Views
Oakland 13
Shenzhen 7
Campina Grande 4
Cambridge 3
Hanoi 3
Ann Arbor 2
Mountain View 2
Beijing 1
Boardman 1
Campinas 1