Contract-Based Requirement Capture and Formalization
Pierluigi Nuzzo

Citation
Pierluigi Nuzzo. "Contract-Based Requirement Capture and Formalization". Talk or presentation, 19, June, 2013; Presented at the iCyPhy June 2013 F2F Mid Year Review, IBM Yorktown Heights: June 18 & 19, 2013.

Abstract
(No abstract.)

Electronic downloads

Internal. This publication has been marked by the author for iCyPhy-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Pierluigi Nuzzo. <a
  href="http://www.icyphy.org/pubs/27.html"><i>Contract-Based
  Requirement  Capture and Formalization</i></a>,
  Talk or presentation,  19, June, 2013; Presented at the
  <a href="/conferences/13/watson/index.htm"
  >iCyPhy June 2013 F2F Mid Year Review, IBM Yorktown
  Heights: June 18 &amp; 19, 2013</a>.

• Plain text

  Pierluigi Nuzzo. "Contract-Based Requirement  Capture
  and Formalization". Talk or presentation,  19, June,
  2013; Presented at the <a
  href="/conferences/13/watson/index.htm" >iCyPhy
  June 2013 F2F Mid Year Review, IBM Yorktown Heights: June 18
  &amp; 19, 2013</a>.

• BibTeX

  @presentation{Nuzzo13_ContractBasedRequirementCaptureFormalization,
      author = {Pierluigi Nuzzo},
      title = {Contract-Based Requirement  Capture and
                Formalization},
      day = {19},
      month = {June},
      year = {2013},
      note = {Presented at the <a
                href="/conferences/13/watson/index.htm" >iCyPhy
                June 2013 F2F Mid Year Review, IBM Yorktown
                Heights: June 18 \&amp; 19, 2013</a>.},
      abstract = {(No abstract.)},
      URL = {http://icyphy.org/pubs/27.html}
  }
  

Posted by Christopher Brooks on 20 Jun 2013.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.