@inproceedings{muehlber:soca,
 title       = "Symbolic Object Code Analysis",
 author      = "Jan Tobias M{\"u}hlberg and Gerald L{\"u}ttgen",
 booktitle   = "SPIN '10",
 series      = "LNCS",
 volume      = "6349",
 pages       = "4--21",
 year        = 2010,
 publisher   = "Springer",
 address     = "Heidelberg",
}