Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings

Ejemplares similares

• Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
  por: Galmiche, Didier, et al.
  Publicado: (2018)
• Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
  por: Avigad, Jeremy, et al.
  Publicado: (2018)
• Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
  por: Beyersdorff, Olaf, et al.
  Publicado: (2018)
• Highlights from the 22nd International AIDS Conference (AIDS 2018), 22–27 July 2018, Amsterdam, the Netherlands
  por: Psomas, Christina K, et al.
  Publicado: (2018)
• Graphical models for security: 5th international workshop, GraMSec 2018, Oxford, UK, July 8, 2018, revised selected papers
  por: Cybenko, George, et al.
  Publicado: (2019)