@article{DBLP:journals/corr/abs-cs-0610097,
  author    = {Sandrine Blazy and
               Fr{\'{e}}d{\'{e}}ric Gervais and
               R{\'{e}}gine Laleau},
  title     = {Reuse of Specification Patterns with the {B} Method},
  journal   = {CoRR},
  volume    = {abs/cs/0610097},
  year      = {2006},
  url       = {http://arxiv.org/abs/cs/0610097},
  archivePrefix = {arXiv},
  eprint    = {cs/0610097},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0610097},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"8ARbBSqSYwfnBSgcb","bibbaseid":"blazy-gervais-laleau-reuseofspecificationpatternswiththebmethod-2006","downloads":0,"creationDate":"2019-02-19T13:31:04.761Z","title":"Reuse of Specification Patterns with the B Method","author_short":["Blazy, S.","Gervais, F.","Laleau, R."],"year":2006,"bibtype":"article","biburl":"https://dblp.uni-trier.de/pers/tb2/b/Blazy:Sandrine.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Sandrine"],"propositions":[],"lastnames":["Blazy"],"suffixes":[]},{"firstnames":["Frédéric"],"propositions":[],"lastnames":["Gervais"],"suffixes":[]},{"firstnames":["Régine"],"propositions":[],"lastnames":["Laleau"],"suffixes":[]}],"title":"Reuse of Specification Patterns with the B Method","journal":"CoRR","volume":"abs/cs/0610097","year":"2006","url":"http://arxiv.org/abs/cs/0610097","archiveprefix":"arXiv","eprint":"cs/0610097","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/abs-cs-0610097","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-cs-0610097,\n author = {Sandrine Blazy and\n Fr{\\'{e}}d{\\'{e}}ric Gervais and\n R{\\'{e}}gine Laleau},\n title = {Reuse of Specification Patterns with the {B} Method},\n journal = {CoRR},\n volume = {abs/cs/0610097},\n year = {2006},\n url = {http://arxiv.org/abs/cs/0610097},\n archivePrefix = {arXiv},\n eprint = {cs/0610097},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-cs-0610097},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Blazy, S.","Gervais, F.","Laleau, R."],"key":"DBLP:journals/corr/abs-cs-0610097","id":"DBLP:journals/corr/abs-cs-0610097","bibbaseid":"blazy-gervais-laleau-reuseofspecificationpatternswiththebmethod-2006","role":"author","urls":{"Paper":"http://arxiv.org/abs/cs/0610097"},"downloads":0,"html":""},"search_terms":["reuse","specification","patterns","method","blazy","gervais","laleau"],"keywords":[],"authorIDs":[],"dataSources":["dFq2BpHTjvGdGdpXC"]}