<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<item>
  <id>70612284</id>
  <dt>a</dt>
  <an>70612284</an>
  <augroup>
    <au>Bowen, Jonathan P.</au>
    <au>Reeves, Steve</au>
  </augroup>
  <ti>From a community of practice to a body of knowledge: A case study of the formal methods community</ti>
  <so>FM, 308-322 (2011).</so>
  <py>2011</py>
  <pu></pu>
  <lagroup>
    <la>EN</la>
  </lagroup>
  <ccgroup>
  </ccgroup>
  <utgroup>
  </utgroup>
  <cigroup>
  </cigroup>
  <ligroup>
    <li>doi:10.1007/978-3-642-21437-0_24</li>
  </ligroup>
</item>