Deriving distributed systems using B-Method
- Marina Walden*
- , Kaisa Sere
*Corresponding author for this work
Research output: Book/Journal/Report › Commissioned report › Professional
14
Downloads
(Pure)