Catalogus
Graph-based specification and verification for aspect-oriented languages
T. Staijen

Graph-based specification and verification for aspect-oriented languages

PaperbackEngels
In het kort
NSTC 500558557 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
Graph-based specification and verification for aspect-oriented languages
T. Staijen

Graph-based specification and verification for aspect-oriented languages

PaperbackEngels
In het kort
NSTC 500558557 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026