On the Instantiation of Parameterised Specifications

Ionut Tutu

Research output: Contribution to conference › Abstract › peer-review

Original languageEnglish
Publication statusPublished - 2012
Event21st International Workshop on Algebraic Development Techniques - Salamanca, Spain
Duration: 7 Jun 2012 → 10 Jun 2012

Conference

Conference21st International Workshop on Algebraic Development Techniques
Country/TerritorySpain
CitySalamanca
Period7/06/12 → 10/06/12

Cite this