Prof. Wahls to present paper in Hawaii

Professor Tim Wahls and collaborator Nestor Catano will be presenting “Executing JML Specifications of Java Card Applications: A Case Study” at the 24th ACM Symposium on Applied Computing, Waikiki Beach, Honolulu, Hawaii. March 8 – 12, 2009