BibTeX record conf/fase/BradfieldFS02

• > Home > conf/fase/BradfieldFS02

@inproceedings{DBLP:conf/fase/BradfieldFS02,
  author       = {Julian C. Bradfield and
                  Juliana K{\"{u}}ster Filipe and
                  Perdita Stevens},
  editor       = {Ralf{-}Detlef Kutsche and
                  Herbert Weber},
  title        = {Enriching {OCL} Using Observational Mu-Calculus},
  booktitle    = {Fundamental Approaches to Software Engineering, 5th International
                  Conference, {FASE} 2002, held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
                  April 8-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2306},
  pages        = {203--217},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45923-5\_14},
  doi          = {10.1007/3-540-45923-5\_14},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/BradfieldFS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}