Logotipo del repositorio
Comunidades
Todo idUS
Estadísticas
Sobre idUS
  • Español
  • English
Iniciar sesión
¿Nuevo Usuario? Regístrate. ¿Has olvidado tu contraseña?
  1. Inicio
  2. Investigación
  3. Ingeniería y Arquitectura
  4. Lenguajes y Sistemas Informáticos
  5. Ponencias (Lenguajes y Sistemas Informáticos)
  6. Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework