%0 Conference Paper %1 conf/sigcse/PedroCCP12 %A de San Pedro, Javier %A Carmona, Josep %A Cortadella, Jordi %A Petit, Jordi %B SIGCSE %D 2012 %E King, Laurie A. Smith %E Musicant, David R. %E Camp, Tracy %E Tymann, Paul T. %I ACM %K dblp %P 451-456 %T Integrating formal verification in an online judge for e-Learning logic circuit design. %U http://dblp.uni-trier.de/db/conf/sigcse/sigcse2012.html#PedroCCP12 %@ 978-1-4503-1098-7

@inproceedings{conf/sigcse/PedroCCP12, added-at = {2021-12-09T00:00:00.000+0100}, author = {de San Pedro, Javier and Carmona, Josep and Cortadella, Jordi and Petit, Jordi}, biburl = {https://www.bibsonomy.org/bibtex/228372e998c52df28d2c8bee09ecf930e/dblp}, booktitle = {SIGCSE}, crossref = {conf/sigcse/2012}, editor = {King, Laurie A. Smith and Musicant, David R. and Camp, Tracy and Tymann, Paul T.}, ee = {https://www.wikidata.org/entity/Q56891959}, interhash = {dba65ce2679d90e6c1a3e665f45842da}, intrahash = {28372e998c52df28d2c8bee09ecf930e}, isbn = {978-1-4503-1098-7}, keywords = {dblp}, pages = {451-456}, publisher = {ACM}, timestamp = {2024-04-09T17:40:40.000+0200}, title = {Integrating formal verification in an online judge for e-Learning logic circuit design.}, url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse2012.html#PedroCCP12}, year = 2012 }