On the Instantiation of Parameterised Specifications - Research

Home > Computer Science home > Research > Profile > Publications > On the Instantiation of Parameterised Specifications

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

Published

Original language	English
State	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

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455