A Configurable ACSL-Based Interface Generator for Simulated Systems

From MaRDI portal
Publication:4420093