Ionut Dinca
According to our database1,
Ionut Dinca
authored at least 5 papers
between 2011 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
0
1
2
3
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
2013
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
2011
Proceedings of the Software Engineering and Computer Systems, 2011