| Publication info |
|---|
| | |
| Publication type | Publication in a journal |
| Publication kind | Conference article |
| Publication title | Verifying Generative CASL Architectural Specifications |
| Web URL | |
| Journal title | LECTURE NOTES IN COMPUTER SCIENCE |
| Media type | |
| Volume | 2755 |
| Book | |
| Publication year | 2003 |
| From page | 233 |
| To page | 252 |
| Publication number | |
| Publication language | English |
| Ethnic language of studied culture | |
| Range | international |
| Report year | 2003 |