Parameterisation for abstract structured specifications. / Tutu, Ionut.

In: Theoretical Computer Science, Vol. 517, 2014, p. 102-142.

Research output: Contribution to journalArticle

Published

Documents

  • PASS

    Accepted author manuscript, 389 KB, PDF-document

Original languageEnglish
Pages (from-to)102-142
JournalTheoretical Computer Science
Volume517
DOIs
StatePublished - 2014
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 18150374