%0 Conference Paper %1 conf/eurodac/FernandezBK94 %A Fernández, Luis Sánchez %A Breuer, Peter T. %A Kloos, Carlos Delgado %B EURO-DAC %D 1994 %E Mermet, Jean %I IEEE Computer Society %K %P 512-517 %T Proof theory and a validation condition generator for VHDL. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1994.html#FernandezBK94 %@ 0-89791-685-9

@inproceedings{conf/eurodac/FernandezBK94, added-at = {2023-12-12T18:45:25.000+0100}, author = {Fernández, Luis Sánchez and Breuer, Peter T. and Kloos, Carlos Delgado}, biburl = {https://www.bibsonomy.org/bibtex/2118c06b333d4a4a9439543dfe4ca2562/admin}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1994}, editor = {Mermet, Jean}, ee = {http://dl.acm.org/citation.cfm?id=198317}, interhash = {16cfb42341a812f1d98df6d59f58b073}, intrahash = {118c06b333d4a4a9439543dfe4ca2562}, isbn = {0-89791-685-9}, keywords = {}, pages = {512-517}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:45:25.000+0100}, title = {Proof theory and a validation condition generator for VHDL.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1994.html#FernandezBK94}, year = 1994 }