An Overview of SAL (2000)

by Saddek Bensalem , Vijay Ganesh , Yassine Lakhnech , Cesar Muñoz , Sam Owre , Harald Rueß , John Rushby , Vlad Rusu , Hassen Saïdi , N. Shankar , Eli Singerman , Ashish Tiwari
Venue:LFM 2000: Fifth NASA Langley Formal Methods Workshop
Citations:39 - 5 self