menu

Return to entry

Definitions
Idempotence
Overapproximation
Correctness
Degeneracy

IMP_Noninterference.Overapproximation

HTML Presentation