Yael Meller
According to our database1,
Yael Meller
authored at least 6 papers
between 2012 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
0
1
2
3
4
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the Dependable Software Systems Engineering, 2016
A framework for compositional verification of multi-valued systems via abstraction-refinement.
Inf. Comput., 2016
2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
2012
Proceedings of the FM 2012: Formal Methods, 2012