Parameterisation for abstract structured specifications

Ionut Tutu

Research output: Contribution to journalArticlepeer-review

32 Downloads (Pure)
Original languageEnglish
Pages (from-to)102-142
JournalTheoretical Computer Science
Volume517
DOIs
Publication statusPublished - 2014

Cite this