Reasoning about Action Systems using the
β
M. WaldΓ©n; K. Sere
π
Article
π
1998
π
Springer
π
English
β 414 KB