Abstract Commands: a Uniform Notation for Specification and Implementation

@article{Dunne2001AbstractCA,
  title={Abstract Commands: a Uniform Notation for Specification and Implementation},
  author={Steve Dunne},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2001},
  volume={42},
  pages={104-123}
}

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…