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