Verification of a Signature Architecture with HOL-Z

FM 2005: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/11526841_19 ◽

2005 ◽

pp. 269-285 ◽

Cited By ~ 4

Author(s):

David Basin ◽

Hironobu Kuruma ◽

Kazuo Takaragi ◽

Burkhart Wolff

Download Full-text