DOI,IST REx ID,Research Group,Title of publication
10.1145/2393596.2393664,1384,ToHe,Conditional model checking: A technique to pass information between verifiers