AGILIS: an on-line map reduce environment for collaborative security
The Deductive Spreadsheet Iliano Cervesato Deductive Solutions [email protected] Workshop on Logical Spreadsheets Stanford, CA – 22 September.