Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods.

Juliana Kster Filipe Bowles, Marco B. Caminati

Browse the full APSEC paper archive.