WalkerCDT95'

BibTeX

@inproceedings{DBLP:conf/sigcse/WalkerCDT95,
  author    = {Henry MacKay Walker and
               H. Conrad Cunningham and
               Ruth Davis and
               Douglas R. Troeger},
  title     = {Formal methods in the undergraduate computer science curriculum
               (abstract)},
  booktitle = {SIGCSE},
  year      = {1995},
  pages     = {398-399},
  ee        = {http://doi.acm.org/10.1145/199688.199899},
  crossref  = {DBLP:conf/sigcse/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sigcse/1995,
  editor    = {Cary Laxer and
               Curt M. White and
               James E. Miller and
               Judith L. Gersting},
  title     = {Proceedings of the 26th SIGCSE Technical Symposium on Computer
               Science Education, 1995, Nashville, Tennessee, USA, March
               2-4, 1995},
  booktitle = {SIGCSE},
  publisher = {ACM},
  year      = {1995},
  isbn      = {0-89791-693-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}