Specification and Proof of High-Level Functional Properties of Bit-Level Programs.
| Autor: | Fumex, Clément, Dross, Claire, Gerlach, Jens, Marché, Claude |
|---|---|
| Zdroj: | NASA Formal Methods (9783319406473); 2016, p291-306, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|