@inproceedings{dinesh1994teaching, title={Teaching formal methods using the ASF+ SDF Meta-environment}, author={Dinesh, T and Usküdarlı, S}, booktitle={Proceedings of the NSF Workshop on Teaching Formal Methods}, year={1994}, organization={CWI} }
@inproceedings{dinesh1994teaching, title={Teaching formal methods using the ASF+ SDF Meta-environment}, author={Dinesh, T and Usküdarlı, S}, booktitle={Proceedings of the NSF Workshop on Teaching Formal Methods}, year={1994}, organization={CWI} }