Sign in

A formal method for proving programs correct.

Chia-Chu ChiangDavid Neubart
Published in: SMC (2001)
Keyphrases