Options
Title
Formal Techniques for Safety-Critical Systems. 6th International Workshop, FTSCS 2018
Title Supplement
Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Publisher
Publishing Place
Cham
Publication Date
2019
Series
Communications in computer and information science; 1008
ISBN
978-3-030-12987-3
978-3-030-12988-0
978-3-030-12989-7