%0 Conference Paper %1 conf/mse/YardiH07 %A Yardi, Shrirang M. %A Hsiao, Michael S. %B MSE %D 2007 %I IEEE Computer Society %K dblp %P 143-144 %T Integrating Validation and Verification in the Digital Design Curriculum. %U http://dblp.uni-trier.de/db/conf/mse/mse2007.html#YardiH07 %@ 0-7695-2849-X

@inproceedings{conf/mse/YardiH07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Yardi, Shrirang M. and Hsiao, Michael S.}, biburl = {https://www.bibsonomy.org/bibtex/22d10c3bbff2f29ad852526030ce39a29/dblp}, booktitle = {MSE}, crossref = {conf/mse/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/MSE.2007.53}, interhash = {7fe3ce66ccef3e01e6968c0c392b825c}, intrahash = {2d10c3bbff2f29ad852526030ce39a29}, isbn = {0-7695-2849-X}, keywords = {dblp}, pages = {143-144}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:26:07.000+0200}, title = {Integrating Validation and Verification in the Digital Design Curriculum.}, url = {http://dblp.uni-trier.de/db/conf/mse/mse2007.html#YardiH07}, year = 2007 }