Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition

As of May 2026, all Simula affiliated publications are now stored in The Norwegian Research Information Repository (NVA).

See this publication on NVA