Database Seminar: Automatic Verification of Communicating Data-Aware Web Services

Victor Vianu from the University of California, San Diego, presented "Automatic Verification of Communicating Data-Aware Web Services" at 4.00pm as part of the Scottish Database Interest Group seminar season at The School of Informatics at the University of Edinburgh, Seminar Room 4 in Buccleuch Place. The DCC was a co-sponsor of this event.