MiniMAO₁: an imperative core language for studying aspect-oriented reasoning
From MaRDI portal
Publication:856924
Recommendations
Cited in
(5)
This page was built for publication: \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q856924)