Stephen Skeirik

Collaborator

Select publications

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