Realising ANGELIC Designs Using Logiak.

Katie Atkinson, Trevor J. M. Bench-Capon, Tom Routen, Alejandro Snchez, Stuart Whittle, Rob Williams, Catriona Wolfenden

Browse the full JURIX paper archive.