An overview of SAL (2000)

by S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rue, J Rushby, V
Venue:LFM 2000: Fifth NASA Langley Formal Methods Workshop