| Translated title of the contribution | Formal Techniques for Specification and Verification of Modula-2 Programs |
|---|---|
| Original language | Danish |
| Place of Publication | Aalborg |
|---|---|
| Publisher | Aalborg Universitetsforlag |
| Publication status | Published - 1990 |
| Series | Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport |
|---|---|
| Number | R 90-40 |
| ISSN | 0106-0791 |