Formal and Model−Based Testing of Concurrent Workflows
Chen−Wei Wang‚ Alessandra Cavarra and Jim Davies
Details
| Journal |
Workshop on Formal Methods in the Development of Software (WS−FMDS '11) |
| Year |
2011 |
Links
Related pages
|
People |