cs.LO 68N30 Mathematical aspects of software engineering (specification,
  verification, metrics, requirements, etc.)
Nick Bezhanishvili Laura Bussi Vincenzo Ciancia David Gabelaia Mamuka Jibladze Diego Latella Mieke Massink Erik P. de Vink
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking