Algebraic Methodology and Software Technology

ανά Meseguer, José, Rosu, Grigore
Έκδοση 2020

Concurrency, Graphs and Models

ανά Degano, Pierpaolo, Nicola, Rocco de, Meseguer, José
Έκδοση 2020

All About Maude - A High-Performance Logical Framework

ανά Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn
Έκδοση 2020