|
СБ |
Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008 |
2009 |
|
Lecture Notes in Computer Science |
- Berardi S.
- Domiani F.
- De Liguoro U.
|
|
|
16.02.2010 |
|
СБ |
Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2011, Turin, Italy, October 2011 |
2012 |
|
Lecture Notes in Computer Science |
- Beckert B.
- Domiani F.
- Gurov D.
|
|
|
29.08.2012 |
|
СБ |
Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011 |
2013 |
|
Lecture Notes in Computer Science |
- Beckert B.
- Domiani F.
- de Boer F. S.
- Bonsangue M. M.
|
|
|
19.02.2013 |
