Introducing Dynamic Properties with Past Temporal Operators in the B Refinement.

Mouna Saad, Leila Jemni Ben Ayed

Browse the full ATVA paper archive.