|
СБ |
Formal Methods - The Next 30 Years: Proc./3rd World Congress, FM 2019, Porto, Portugal, October 2019 |
2019 |
|
Lecture Notes in Computer Science |
- Ter Beek M. H.
- McIver A.
- Oliveira J. N.
|
|
|
17.10.2019 |
|
СБ |
Quantitative Evaluation of Systems: Proc./15th International Conference, QEST 2018, Beijing, China, September 2018 |
2018 |
|
Lecture Notes in Computer Science |
- McIver A.
- Horvath A.
|
|
|
27.09.2018 |
|
СБ |
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./20th International Conference, LPAR-20 2015, Suva, Fiji, November 2015 |
2015 |
|
Lecture Notes in Computer Science |
- Davis M.
- Fehnker A.
- McIver A.
- Voronkov A.
|
|
|
12.01.2016 |
