Journal of Applied Mathematics and Computational Mechanics (Jun 2017)

Coalgebras for modelling observable behaviour of programs

  • William Steingartner,
  • Valerie Novitzká

DOI
https://doi.org/10.17512/jamcm.2017.2.12
Journal volume & issue
Vol. 16, no. 2
pp. 145 – 157

Abstract

Read online

No abstracts available.