Static Class Elements for Object-Z
| Autor: | Ruhroth, Thomas, Wehrheim, Heike |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 31 December 2009 259:193-205 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Ruhroth, Thomas, Wehrheim, Heike |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 31 December 2009 259:193-205 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect