From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT

Algorithm 3

public class Location = ExpressionValue

   public int ;

   public int ;

   public int CalculateDistance(Location other)

;