Rewriting Logic and Its Applications Kazuhiro Ogata & Narciso Martí-Oliet: другие книги

Formal Methods and Software Engineering

2016