Author:
Didier André,Farias Adalberto,Mota Alexandre
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Using the alloy analyzer to verify data refinement in Z.;Bolton;Electr. Notes Theor. Comput. Sci.,2005
2. On the refinement and simulation of data types and processes;Bolton,1999
3. From VDM specifications to functional prototypes;Borba;Journal of Systems and Software,1991
4. On Using Data Abstractions for Model Checking Refinements;Derrick;Acta Informatica,2007
5. From CSPZ to CSPM: A transformational java tool;Farias,2001