![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Formal Methods – The Next 30 Years Volume 11800 (Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings) ||
ter Beek, Maurice H., McIver, Annabelle, Oliveira, José N.Volume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-30942-8
File:
PDF, 35.63 MB
english, 2019