An overview of SAL (2000)

by S Bensalem, V Ganesh, Y Lakhnech, C M noz, S Owre, H Rueß, J Rushby, V Rusu, H Säıdi, N Shankar, E Singerman, A Tiwari
Venue:LFM 2000: Fifth NASA Langley Formal Methods Workshop