Formal techniques for safety-critical systems second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers /
作者:edited by Cyrille Artho, Peter Csaba Olveczky.
出版者:Springer International Publishing : Imprint: Springer
出版地:Cham :
語文:英語
叢書名:Communications in computer and information science,