Publication:2849889

zbMath1272.68105MaRDI QIDQ2849889

Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000411

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Components as coalgebras: the refinement dimension