Stephen Skeirik

Collaborator

Select publications

  1. Liu, Si, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, Jose Meseguer. "Formal Modeling and Analysis of Cassandra in Maude," 16th International Conference on Formal Engineering Methods (ICFEM), 2014. [pdf]