1
Published 2017
Springer International Publishing
Subjects: ...Software engineering...

2
Published 2020
Springer International Publishing
Subjects: ...Software engineering...

3
Published 2018
Springer International Publishing
Subjects: ...Software engineering...

5
Published 2014
Springer International Publishing
Table of Contents: ...-Future Form Graph of Linear Time μ-Calculus -- Prototype Tool for Supporting A Formal Engineering...

6
Published 2016
Springer International Publishing
Subjects: ...Software engineering...

8
Published 2021
Springer International Publishing
Subjects: ...Software engineering...