Tool Integration with the Evidential Tool Bus.

Simon Cruanes, Grgoire Hamon, Sam Owre, Natarajan Shankar

Browse the full VMCAI paper archive.