Verifying Architectural Specifications

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_8 ◽

2002 ◽

pp. 152-175 ◽

Cited By ~ 2

Author(s):

Piotr Hoffman

Download Full-text