Rewriting Logic and Its Applications Sách Khác Của Kazuhiro Ogata & Narciso Martí-Oliet

Formal Methods and Software Engineering

2016