The MOBIUS Proof Carrying Code Infrastructure

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92188-2_1 ◽

2008 ◽

pp. 1-24 ◽

Cited By ~ 16

Author(s):

Gilles Barthe ◽

Pierre Crégut ◽

Benjamin Grégoire ◽

Thomas Jensen ◽

David Pichardie

Download Full-text