BibTeX record conf/nato/1996

download as .bib file

@proceedings{DBLP:conf/nato/1996,
  editor    = {Manfred Broy},
  title     = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program
               Design, Marktoberdorf, Germany},
  year      = {1996},
  isbn      = {3-540-60947-4},
  timestamp = {Tue, 14 Nov 2006 16:17:55 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nato/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}