Abstract / Description of output
This note gives our personal perspective on the state of foundations of software specification and development including applications to the formal development of reliable complex software systems.
Original language | English |
---|---|
Article number | 10 |
Journal | ACM Computing Surveys |
Volume | 31 |
Issue number | 3es |
DOIs | |
Publication status | Published - 1 Sept 1999 |