Bidragets oversatte titel | Formal Techniques for Specification and Verification of Modula-2 Programs |
---|---|
Originalsprog | Dansk |
Udgivelsessted | Aalborg |
---|---|
Forlag | Aalborg Universitetsforlag |
Status | Udgivet - 1990 |
Navn | Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport |
---|---|
Nummer | R 90-40 |
ISSN | 0106-0791 |