Program synthesis in administration of higher-order permissions.

Sat, 01 Jan 2011 00:00:00 +0100

Glenn Bruns, Michael Huth, Kumar Avijit:
Program synthesis in administration of higher-order permissions. SACMAT 2011: 41-50