On the algebra of structured specifications

Răzvan Diaconescu, Ionut Tutu

Research output: Contribution to journalArticlepeer-review

42 Downloads (Pure)
Original languageEnglish
Article number28
Pages (from-to)3145-3174
JournalTheoretical Computer Science
Volume412
DOIs
Publication statusPublished - 2011

Cite this