%0 Journal Article %1 journals/jche/ShukurBF99 %A Shukur, Zarina %A Burke, Edmund K. %A Foxley, Eric %D 1999 %J J. Comput. High. Educ. %K %N 1 %P 86-119 %T The automatic assessment of formal specification coursework. %U http://dblp.uni-trier.de/db/journals/jche/jche11.html#ShukurBF99 %V 11

@article{journals/jche/ShukurBF99, added-at = {2023-12-12T23:45:00.000+0100}, author = {Shukur, Zarina and Burke, Edmund K. and Foxley, Eric}, biburl = {https://www.bibsonomy.org/bibtex/29bc4f73e5716c77704003bfb619dcd44/admin}, ee = {https://doi.org/10.1007/BF02940843}, interhash = {59b40b99b7a3711615c76dcdc8c967bb}, intrahash = {9bc4f73e5716c77704003bfb619dcd44}, journal = {J. Comput. High. Educ.}, keywords = {}, number = 1, pages = {86-119}, timestamp = {2023-12-12T23:45:00.000+0100}, title = {The automatic assessment of formal specification coursework.}, url = {http://dblp.uni-trier.de/db/journals/jche/jche11.html#ShukurBF99}, volume = 11, year = 1999 }