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

Download