Nadia Polikarpova

N.P.

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings978-3-319-66844-4
(3-319-66844-7)
2017Steve Schneider

Nadia Porcar