Informality in program specifications (1978)
by
Robert Balzer
,
Neil Goldman
,
David Wile
| Venue: | IEEE Transactions on Software Engineering |
| Citations: | 23 - 0 self |







