Trustworthy Systems

Preface: Proceedings of the 16th conference on relational and algebraic methods in computer science

Authors

Peter Hoefner, Damien Pous and Georg Struth

Data61
CSIRO

UNSW

ENS Lyon

University of Sheffield
UK

Abstract

BibTeX Entry

  @inbook{Hfner_PS_17,
    author           = {H\"ofner, Peter and Pous, Damien and Struth, Georg},
    booktitle        = {Lecture Notes in Computer Science},
    isbn             = {978-3-319-06251-8},
    month            = apr,
    pages            = {2},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9541.pdf},
    title            = {Preface: {P}roceedings of the 16th Conference on Relational and Algebraic Methods in Computer
                        Science},
    volume           = {10226},
    year             = {2017}
  }

Download