12299

4364118

Cyrille Artho

Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014 (Communications in Computer and Information Science)

Springer

2015

3319175807