Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition

Gr├ęgoire Menguy, S├ębastien Bardin, Nadjib Lazaar, Arnaud Gotlieb

Video #1 Length : 00:01:29
Video #2 Length : 00:10:56