Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (bibtex)
by Unknown
Reference:
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers, (Tiziana Margaria, Bernhard Steffen, eds.), Springer, volume 4313, 2006.
Bibtex Entry:
@Proceedings{Margaria2006,
  Title                    = {Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers},
  Year                     = {2006},
  Editor                   = {Tiziana Margaria and Bernhard Steffen},
  Publisher                = {Springer},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {4313},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {ISoLA},
  ISBN                     = {3-540-48928-2},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser