Abstract implementations and correctness proofs

• Authors:

• G Bernot;M Bidoit;C Choppy

• Affiliations:

• -;-;-

• Venue:
• 3rd annual symposium on theoretical aspects of computer science on STACS 86
• Year:
• 1986