An extension of the program derivation format (1998)
by
A. J. M. Van Gasteren
,
A. Bijlsma
| Venue: | Programming Concepts and Methods (PROCOMET ’98). Chapman |
| Citations: | 3 - 0 self |







