Kyle Carter

According to our database, Kyle Carter authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

SAW: the software analysis workbench.

Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013