Formal Methods for Mobile ComputingMarco Bernardo,Alessandro Bogliolo · First published 2008Open the Tome
Formal Methods for Mobile ComputingMarco Bernardo, Alessandro Bogliolo · First published 2005Open the Tome