1992

2 references published this year.

Program verification
Nissim Francez (1992)
Applying 'design by contract'
Bertrand Meyer (1992) · Computer