TY  - CHAP
AU  - López, Victoria
AU  - Gómez González, Daniel
AU  - Montero De Juan, Francisco Javier
PY  - 2009
SN  - 9781605603223
UR  - https://hdl.handle.net/20.500.14352/53439
AB  - Design and formal verification of algorithms can be translated into a fuzzy framework introducing fuzzy logic and assert transformations. Following the classical scheme, and in order to develop codes with good behavior, this paper defines the concepts...
LA  - eng
M2  - 47
PB  - Curran Associates, Inc.
KW  - Fuzzy algorithms and programming
KW  - Decision making
TI  - Fuzzy weakest precondition and fuzzy invariants
TY  - book part
ER  -