DBLP_conf_rv_2010

Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, (eds). Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science, Springer, 2010.

Contact

Ylies Falcone

BibTex Reference

@Book{DBLP_conf_rv_2010,
   Author = {Barringer, Howard and Falcone, Yliès and Finkbeiner, Bernd and Havelund, Klaus and Lee, Insup and J. Pace, Gordon and Rosu, Grigore and Sokolsky, Oleg and Tillmann, Nikolai and (eds), },
   Title = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
   BookTitle = {RV},
   Volume = {6418},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)