Rewriting Logic and Its Applications Kyungmin Bae: другие книги

Formal Aspects of Component Software

2018