Abstract machine modelling to produce portable software—a review and evaluation

From MaRDI portal
Publication:5643569