Randy Bryant
According to our database1,
Randy Bryant
authored at least 4 papers
between 2010 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
2012
Proceedings of the Runtime Verification, Third International Conference, 2012
2011
Proceedings of the Model Checking Software, 2011
2010
Proceedings of the 5th International Workshop on Systems Software Verification, 2010