Invariants, Frames and Postconditions: A Comparison of the VDM and B Notations.
| Autor: | Bicarregui, Juan1, Ritchie, Brian1 |
|---|---|
| Zdroj: | IEEE Transactions on Software Engineering. Feb95, Vol. 21 Issue 2, p79-90. 11p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|