The need for usable formal methods in verification and validation

  • Ross Gore Saikou Diallo
  • December 2013, Institute of Electrical & Electronics Engineers (IEEE)
  • DOI: 10.1109/wsc.2013.6721513

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1109/wsc.2013.6721513