ACM SIGMOD Anthology SIGMOD Record dblp.uni-trier.de

An Informal Approach to Formal Specifications.

Antonio L. Furtado: An Informal Approach to Formal Specifications. SIGMOD Record 14(1): 45-54(1984)
@article{DBLP:journals/sigmod/Furtado84,
  author    = {Antonio L. Furtado},
  title     = {An Informal Approach to Formal Specifications},
  journal   = {SIGMOD Record},
  volume    = {14},
  number    = {1},
  year      = {1984},
  pages     = {45-54},
  ee        = {http://doi.acm.org/10.1145/984540.984544, db/journals/sigmod/Furtado84.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 2, SIGMOD Record" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition

Citation Page BibTeX

Referenced by

  1. Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
SIGMOD Record, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:20:28 2009