Back to UK deals/Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Springer Nature

Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Name: Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Brand: Springer Nature