Enabledness and termination in refinement algebra
| Autor: | Solin, Kim, von Wright, Joakim |
|---|---|
| Zdroj: | In Science of Computer Programming 2009 74(8):654-668 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Solin, Kim, von Wright, Joakim |
|---|---|
| Zdroj: | In Science of Computer Programming 2009 74(8):654-668 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect