Modular Proof Principles for Parameterised Concretizations

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Lecture Notes in Computer Science ◽

10.1007/11741060_8 ◽

2006 ◽

pp. 138-154 ◽

Author(s):

David Pichardie

Download Full-text