Trustworthy Systems

Relational and algebraic methods in computer science (proceedings)

Authors

Peter Hoefner, Damien Pous and Georg Struth

CNRS
ENS Lyon

DATA61

The University of Sheffield

Australian National University

Abstract

BibTeX Entry

  @conference{Hoefner_PS_17,
    address          = {Lyon, France},
    author           = {Höfner, Peter and Pous, Damien and Struth, Georg},
    booktitle        = {Relational and Algebraic Methods in Computer Science},
    date             = {2017-5-15},
    doi              = {https://doi.org/10.1007/978-3-319-57418-9},
    month            = may,
    numpages         = {1},
    paperurl         = {https://trustworthy.systems/publications/full_text/Hoefner_PS_17.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {Relational and Algebraic Methods in Computer Science (Proceedings)},
    year             = {2017}
  }

Download