%0 Conference Paper %1 conf/sigcse/Tremblay99 %A Tremblay, Guy %B SIGCSE %D 1999 %E Prey, Jane %E Noonan, Robert E. %I ACM %K dblp %P 100-104 %T Exercises for teaching logic in a formal methods course: formalizing ERDs. %U http://dblp.uni-trier.de/db/conf/sigcse/sigcse1999.html#Tremblay99 %@ 1-58113-085-6

@inproceedings{conf/sigcse/Tremblay99, added-at = {2021-03-10T00:00:00.000+0100}, author = {Tremblay, Guy}, biburl = {https://www.bibsonomy.org/bibtex/258ab2ccc38e65926c83436afd4b784a5/dblp}, booktitle = {SIGCSE}, crossref = {conf/sigcse/1999}, editor = {Prey, Jane and Noonan, Robert E.}, ee = {https://doi.org/10.1145/384266.299698}, interhash = {9c4ff9bbe0c2e4449cf5fc5920ba4f3b}, intrahash = {58ab2ccc38e65926c83436afd4b784a5}, isbn = {1-58113-085-6}, keywords = {dblp}, pages = {100-104}, publisher = {ACM}, timestamp = {2024-04-09T17:41:24.000+0200}, title = {Exercises for teaching logic in a formal methods course: formalizing ERDs.}, url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse1999.html#Tremblay99}, year = 1999 }