PROOFS: Application engineering based on formal methods
| Autor: | van Hee, Kees, Hildebrand, Theodor, Copelli, Sergio |
|---|---|
| Zdroj: | In Microprocessing and Microprogramming 1992 35(1):29-36 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | van Hee, Kees, Hildebrand, Theodor, Copelli, Sergio |
|---|---|
| Zdroj: | In Microprocessing and Microprogramming 1992 35(1):29-36 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|