Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /

Bibliographic Details
Main Author: Gilles Barthe, Anupam Datta, Sandro Etalle (edición)
Format: Book
Language:English
Published: Berlín, Alemania : Springer, 2012, c2012
Series:(Lecture Notes in Computer Science)
Online Access:Ver documento en línea

System Under Maintenance

Our Library Management System is currently under maintenance.

Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:

biblioteca@iteso.mx

Internet

Ver documento en línea