Swaha Miller
According to our database1,
Swaha Miller
authored at least 3 papers
between 2005 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
2013
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013
2005
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005