tecmf.inf.puc-rio.br
TecMF
Laboratório de Métodos Formais
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-06-16 |
| Last crawled | 2026-06-19 |
| IPv4 | 139.82.16.208 |
| Network | AS2715 Fundação Carlos Chagas Filho de Amparo a Pesquisa · Brazil |
| Mail (MX) | correio.rdc.puc-rio.br |
| Language | pt-BR |
| Server | Apache/2.4.6 (Red Hat Enterprise Linux) OpenSSL/1.0.2k-fips PHP/7.2.34 |