Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings - International SPIN Workshop 2008 : Los angeles, Calif.); Havelund, Klaus, 1955-; Majumdar, Rupak; Palsberg, Jens.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Computer software -- Verification -- Congresses; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering