On the Instantiation of Parameterised Specifications. / Tutu, Ionut.

2012. Abstract from 21st International Workshop on Algebraic Development Techniques, Salamanca, Spain.

Research output: Contribution to conferenceAbstract

Published
Original languageEnglish
StatePublished - 2012
Event21st International Workshop on Algebraic Development Techniques - Salamanca, Spain

Conference

Conference21st International Workshop on Algebraic Development Techniques
CountrySpain
CitySalamanca
Period7/06/1210/06/12

ID: 18149976