Skip to main navigation Skip to search Skip to main content

Program algebra for sequential code

  • J.A. Bergstra
  • , M.E. Loots
  • extern

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)125-156
Number of pages32
JournalJournal of Logic and Algebraic Programming
Volume51
Issue number2
Publication statusPublished - 2002

Cite this