On the Instantiation of Parameterised Specifications. / Tutu, Ionut.
2012. Abstract from 21st International Workshop on Algebraic Development Techniques, Salamanca, Spain.Research output: Contribution to conference › Abstract › peer-review
Original language | English |
---|---|
Publication status | Published - 2012 |
Event | 21st International Workshop on Algebraic Development Techniques - Salamanca, Spain Duration: 7 Jun 2012 → 10 Jun 2012 |
Conference | 21st International Workshop on Algebraic Development Techniques |
---|---|
Country | Spain |
City | Salamanca |
Period | 7/06/12 → 10/06/12 |
ID: 18149976