|
СБ |
Theoretical Aspects of Computing - ICTAC 2020: Proc./17th International Colloquium, Macau, China, November 2020 |
2020 |
|
Lecture Notes in Computer Science |
- Pun V.K.I.
- Stolz V.
- Simao A.
|
|
|
26.01.2021 |
|
СБ |
Formal Methods: Foundations and Applications: Revised Selected Papers/14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 2011 |
2011 |
|
Lecture Notes in Computer Science |
- Simao A.
- Morgan C.
|
|
|
11.01.2012 |
|
СБ |
Formal Methods: Foundations and Applications: Revised Selected Papers/13th Brazilian Symposium on FM, SBMF 2010, Natal, Brazil, November 2010 |
2011 |
|
Lecture Notes in Computer Science |
- Davies J.
- Silva L.
- Simao A.
|
|
|
14.05.2011 |
|
СБ |
Testing Software and Systems: Proc./22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 2010 |
2010 |
|
Lecture Notes in Computer Science |
- Petrenko A.
- Simao A.
- Maldonado J. C.
|
|
|
23.11.2010 |
