| Original language | English |
|---|---|
| Journal | Annals of Software Engineering |
| ISSN | 1022-7091 |
| Publication status | Published - 1998 |
Software Engineering Education: The Rôle of Formal Specifications and Design Calculi .
Dines Bjørner, Jorge R. Cuellar
Research output: Contribution to journal › Journal article › Research › peer-review