An introduction to proving AMN specifications with PVS and the AMN-PROOF tool (1995)

by C H Pratten
Venue:Proc. Z Twenty Years On - What Is Its Future, pages 149--165. IRIN-IUT de Nantes