Flexible Formal Methods for High Assurance: The Maude Experience Download Presented as part of the 2004 HCSS conference. Tags: University of Illinois Academia Presentation HCSS '04 HCSS 2004 License: CC-2.5 Submitted by Jose Meseguer on Wed, 08/24/2011 - 17:53
