A Structure for Dependability Arguments

Abstract State Machines, Alloy, B and Z - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11811-1_1 ◽

2010 ◽

pp. 1-1

Author(s):

Daniel Jackson ◽

Eunsuk Kang

Download Full-text