Foundations for structuring behavioural specifications

Răzvan Diaconescu, Ionut Tutu

Research output: Contribution to journalArticlepeer-review

17 Downloads (Pure)
Original languageEnglish
Article number3-4
Pages (from-to)319-338
JournalJournal of Logic and Algebraic Programming
Volume83
DOIs
Publication statusPublished - 2014

Cite this