Trustworthy Systems

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

Authors

Wolfram Kahl, Timothy G. Griffin and Peter H\"ofner

McMaster University
Hamilton
Canada\ University of Cambridge\ NICTA\ UNSW

Abstract

BibTeX Entry

  @article{Kahl_GH_15,
    author           = {Kahl, Wolfram and Griffin, Timothy G. and H\"ofner, Peter},
    journal          = {Journal of Logical and Algebraic Methods in Programming},
    journaltitle     = {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