Introducing Formal Methods into Industry using Cleanroom and CSP

@inproceedings{IntroducingFM,
  title={Introducing Formal Methods into Industry using Cleanroom and CSP},
  author={}
}