Verification logic

Ozuna, Juan Pablo Aguilera; Fernández-Duque, David

doi:10.1093/logcom/exx027

by Juan Pablo Aguilera Ozuna, David Fernández-Duque

Reference:

Verification logicJuan Pablo Aguilera Ozuna, David Fernández-DuqueJ. Log. Comput., volume 27, number 8, pages 2451–2469, 2017.

Bibtex Entry:

@article{DBLP:journals/logcom/OzunaF17,
  author    = {Juan Pablo Aguilera Ozuna and
               David Fern{\'{a}}ndez{-}Duque},
  title     = {Verification logic},
  journal   = {J. Log. Comput.},
  volume    = {27},
  number    = {8},
  pages     = {2451--2469},
  year      = {2017},
  url       = {https://doi.org/10.1093/logcom/exx027},
  doi       = {10.1093/logcom/exx027},
  timestamp = {Tue, 02 Jan 2018 16:25:27 +0100},
}