Trustworthy Systems

Preface: Relational and algebraic methods in computer science

Authors

Peter Höfner, Peter Jipsen, Wolfram Kahl and Martin Eric Müller

NICTA

UNSW

Chapman University

McMaster University
Hamilton
Canada

Universitaet Augsburg

Abstract

BibTeX Entry

  @inbook{Hoefner_JKM_14,
    author           = {H\"ofner, Peter and Jipsen, Peter and Kahl, Wolfram and M\"uller, Martin Eric},
    booktitle        = {Lecture Notes in Computer Science},
    isbn             = {978-3-319-06251-8},
    month            = may,
    pages            = {2},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8840.pdf},
    title            = {Preface: {R}elational and Algebraic Methods in Computer Science},
    volume           = {8428},
    year             = {2014}
  }

Download