Ka-Wing Wong, Richard A. McBride
Specification and verification of learning
SAC, 1994.
@inproceedings{SAC-1994-WongM, author = "Ka-Wing Wong and Richard A. McBride", booktitle = "{Proceedings of the Ninth Symposium on Applied Computing}", doi = "10.1145/326619.326625", pages = "6--9", publisher = "{ACM}", title = "{Specification and verification of learning}", year = 1994, }