Normal view
MARC view
Albert, Elvira (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): LOPSTR (Symposium) (22nd : 2012 : Leuven, Belgium) 48610, Logic-based program synthesis and transformation :, ©2013.