BibTeX record conf/ifm/MacCollC99

download as .bib file

@inproceedings{DBLP:conf/ifm/MacCollC99,
  author    = {Ian MacColl and
               David A. Carrington},
  title     = {Specifying Interactive Systems in Object-Z and {CSP}},
  booktitle = {{IFM}},
  pages     = {335--352},
  publisher = {Springer},
  year      = {1999}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics