Trustworthy Systems

Preface: Special issue on relational and algebraic methods in computer science

Authors

Wolfram Kahl, Timothy G. Griffin and Peter Hoefner

McMaster University
Hamilton
Canada

University of Cambridge

NICTA

UNSW

Abstract

BibTeX Entry

  @inbook{Kahl_GH_15,
    author           = {Kahl, Wolfram and Griffin, Timothy G. and H\"ofner, Peter},
    booktitle        = {Journal of Logical and Algebraic Methods in Programming},
    month            = may,
    number           = {3},
    pages            = {283--284},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8833.pdf},
    title            = {Preface: Special Issue on Relational and Algebraic Methods in Computer Science},
    volume           = {84},
    year             = {2015}
  }

Download