• A case for data-oriented speci...

Treffer: A case for data-oriented specifications: simpler implementation of B tools and DSLs

Title:
A case for data-oriented specifications: simpler implementation of B tools and DSLs
Authors:
Körner, PhilippAff1, IDs11334025005963_cor1, Mager, Florian, Roßbach, Jan
Source:
Innovations in Systems and Software Engineering: A NASA Journal. :1-21
Database:
Springer Nature Journals