Behavioral Specification Theories: An Algebraic Taxonomy

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - Lecture Notes in Computer Science ◽

10.1007/978-3-030-61362-4_14 ◽

2020 ◽

pp. 262-274 ◽

Author(s):

Uli Fahrenberg ◽

Axel Legay

Download Full-text