Foundations for structuring behavioural specifications. / Diaconescu, Răzvan; Tutu, Ionut.

In: Journal of Logic and Algebraic Programming, Vol. 83, 3-4, 2014, p. 319-338.

Research output: Contribution to journalArticle

Published

Documents

  • StrucBehSpec

    Accepted author manuscript, 240 KB, PDF-document

Original languageEnglish
Article number3-4
Pages (from-to)319-338
JournalJournal of Logic and Algebraic Programming
Volume83
DOIs
StatePublished - 2014
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 22561219