Software analysis and transformation [SwAT]
Collection
Collection
Published by CWI
-
Context-free Coalgebras Tech Report
J. Winter (Joost), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2013
-
March 2013
-
June 2013