IIT Home Page CNR Home Page

Executable specification of cryptofraglets in Maude for security verification

Bionetics 2009, Avignon, 2009

Autori IIT:

Tipo: Articolo in Atti di convegno internazionale con referee

File: 00390011.pdf