A tactic language for refinement of state-rich concurrent specifications

Sorry, there's nothing here.

Cite this paper

@article{Oliveira2011ATL, title={A tactic language for refinement of state-rich concurrent specifications}, author={Marcel Oliveira and Frank Zeyda and Ana Cavalcanti}, journal={Sci. Comput. Program.}, year={2011}, volume={76}, pages={792-833} }