|
СБ |
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday |
2021 |
|
Lecture Notes in Computer Science |
- Bartocci E.
- Falcone Y.
- Leucker M.
|
|
20911 |
28.10.2021 |
|
СБ |
Runtime Verification: Proc./16th International Conference, RV 2016, Madrid, Spain, September 2016 |
2016 |
|
Lecture Notes in Computer Science |
- Falcone Y.
- Sanchez C.
|
|
|
26.10.2016 |
|
СБ |
Runtime Verification: Proc./First International Conference, RV 2010, St.Julians, Malta, November 2010 |
2010 |
|
Lecture Notes in Computer Science |
- Barringer H.
- Falcone Y.
- Filkbeiner B.
- Havelund K.
|
|
|
23.11.2010 |
