Tabular verification and refinement

Sorry, there's nothing here.

Cite this paper

@article{Sekerinski2002TabularVA, title={Tabular verification and refinement}, author={Emil Sekerinski}, journal={Electr. Notes Theor. Comput. Sci.}, year={2002}, volume={70}, pages={179-198} }