Newsham, Z. ., Oliveira, A. ., Petkovich, J. ., Rehman, A. ., Tchamgoue, G. ., & Fischmeister, S. . (2017). Intersert: Assertions on Distributed Process Interaction Sessions. IEEE International Conference on Software Quality, Reliability & Security (QRS). Presented at the. Prague, Czech Republic.