Statistics

Total Visits

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

Total Visits per Month

July 2024 August 2024 September 2024 October 2024 November 2024 December 2024 January 2025
GIRL: uma linguagem de modelagem e verificação de requisitos invariantes. 0 10 6 0 0 0 1

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
United States 35
Brazil 32
China 8
EU 4
Germany 3
Vietnam 3
Uruguay 2
United Kingdom 1
Ukraine 1

Top City Views

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