Qi Wang

Collaborator

Select publications

  1. Liu, Si, Peter Csaba Olveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, Jose Meseguer. "ROLA: A New Distributed Transaction Protocol and Its Formal Analysis," Proc. 21st International Conference on Fundamental Approaches to Software Engineering (FASE), 2018.