Exportar registro bibliográfico


Metrics:

Formal validation of automated policy refinement in the management of network security systems (2010)


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024