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
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
Categories: News