TY  - RPRT
TI  - $L$-fuzzy strongest postcondition predicate transformers as $L$-idempotent linear or affine operators between semimodules of monotonic predicates
AU  - Oleh Nykyforchyn
AU  - Dušan Repovš
PY  - 2012
DO  - 10.1016/j.fss.2012.06.007
UR  - https://arxiv.org/abs/1209.5224
ID  - 1209.5224
ER  -