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