Formalising security properties in electronic voting protocols

Formalising privacy-type security properties using the applied pi

Formalising Motivational Attitudes of Agents Using the KARO

Formalising Event Time Bounding in Digital

Formalising Economics: Social Change, Ideology and Mathematics

Formalising Abilities and Opportunities of Agents 1 Introduction

Formalised Inductive Reasoning in the Logic of Bunched Implications

Formalisation, In-formalisation and the Labour

Formalisation of the Computation of the Echelon Form of a Matrix in

Formalisation of Intensionality as Algorithms

Formalisation du système honorifique japonais pour la génération d

formalinsop

Formalin Drip Treatment For Eggs in Bell Jar Incubators

Formalin

Formale Methoden der Informatik Introduction and a Short Review of

Formale Grundlagen der Informatik 3 - Introduction

Formaldehyde: Just the Facts

Formaldehyde Vapors and Keratin Treatments

Formaldehyde Solution Use in Small Animal Perfusions

Formaldehyde Screening Profile (November 2015; PDF)

Formaldehyde Scavengers Market Segment Forecasts up to 2020

Business and Leadership