%0 Conference Proceedings
%F bgl+00
%A Bensalem, S.
%A Ganesh, V.
%A Lakhnech, Y.
%A Munoz, C.
%A Owre, S.
%A Russ, H.
%A Rushby, J.
%A Rusu, V.
%A Saidi, H.
%A Shankar, N.
%A Singerman, E.
%A Tiwari, A.
%T An Overview of SAL
%B LFM 2000: Fifth NASA Langley Formal Methods Workshop
%P 187-196
%U http://shemesh.larc.nasa.gov/fm/Lfm2000/Proc/
%D 2000