1 40 Years of Formal Methods Reminiscences of a Beautiful Profession Dedicated to Chris W. George

First Page		Document Content
Date: 2014-05-01 09:29:41		1 40 Years of Formal Methods Reminiscences of a Beautiful Profession Dedicated to Chris W. George Add to Reading List Source URL: www.imm.dtu.dk Download Document from Source Website File Size: 250,02 KB Share Document on Facebook