Entry Huizing:2000:VOO from lncs2000.bib

Last update: Thu May 16 02:07:42 MDT 2019                Valid HTML 4.0!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Huizing:2000:VOO,
  author =       "Kees Huizing and Ruurd Kuiper and SOOP",
  title =        "Verification of Object Oriented Programs Using Class
                 Invariants",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1783",
  pages =        "208--221",
  year =         "2000",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri Feb 1 09:16:14 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t1783.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2000.bib",
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/1783/17830208.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/1783/17830208.pdf",
  acknowledgement = ack-nhfb,
  annote =       "SOOP == Research group Systematic Object Oriented
                 Programming, at the time of conception of this paper
                 consisting of Lex Bijlsma, Rik van Geldrop, Louis van
                 Gool, Kees Hemerik, Kees Huizing, Ruurd Kuiper, Onno
                 van Roosmalen, Jaap van der Woude, and Gerard Zwaan.",
}

Related entries